• Galoisenne - 🕸️ Graphs, finite fields and discrete dynamical systems
• Kotlin∇ - 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
• Picograd - 🦠 The tiniest possible autograd
• Pantograph - 📐 Runtime accessible intermediate representation for reified computation graphs
• Yuri - 👨‍🚀 A type-safe URI builder in Kotlin

• Code Search Tools - 🔍 Tools and experiments for information retrieval on code.
• TraceLink - 🔗 Working on trace link retrieval in documentation
• GymPC - 🐚 RL environment for command line interactions

• Tidyparse - 🧹 Error-correcting context free grammar parser plugin
• Hatchery - 🐣 An IDE for building ROS applications
• SourceJump - 📇 Find contextually similar OSS code without leaving your IDE!
• AceJump -🅰️ single character search, select, and jump
• Idiolect - 🎙️ Handsfree Audio Development Interface
• TraceJump - 📸 Annotating screenshots with trace links

• AIPLANS - Advances in Programming Languages and Neurosymbolic Systems
• ML4Code RG - Machine Learning for Code Reading Group
• Computer Calculus RG - 🧮 Reading about differential, integral and logical calculi
• Breandan's Blog - ✍️ A place to store my ideas
• Slide decks - 📢 Tutorials and presentations
• How to share a secret message - 🔏 Cryptography for kids

PinnedLoading

1. kotlingradkotlingradPublic

   🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

   Kotlin 542 22

2. galoisennegaloisennePublic

   🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

   Kotlin 143 12

3. OpenASR/idiolectOpenASR/idiolectPublic

   🎙️ Handsfree Audio Development Interface

   Kotlin 99 11

4. tidyparse/tidyparsetidyparse/tidyparsePublic

   ✂️ Syntax correction in context-free languages.

   Kotlin 23 1

5. compcalc/compcalc.github.iocompcalc/compcalc.github.ioPublic

   🧮 Reading group about differential, integral and logical calculi.

   TeX 26

6. aiplans/aiplans.github.ioaiplans/aiplans.github.ioPublic

   Advances in Programming Languages and Neurosymbolic Systems Workshop

   TeX 8