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