Libraries :books:

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

Research :microscope:

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

Applications :gear:

• Tidyparse - :broom: Error-correcting context free grammar parser plugin
• Hatchery - :hatching_chick: An IDE for building ROS applications
• SourceJump - :card_index: Find contextually similar OSS code without leaving your IDE!
• AceJump - :a: single character search, select, and jump
• Idiolect - :studio_microphone: Handsfree Audio Development Interface
• TraceJump - :camera_flash: Annotating screenshots with trace links

Ideas :bulb:

• 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 - :writing_hand: A place to store my ideas
• Slide decks - :loudspeaker: Tutorials and presentations
• How to share a secret message - :lock_with_ink_pen: Cryptography for kids