Libraries 📚

• 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

Research 🔬

• 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

Applications ⚙️

• 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

Ideas 💡

• 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