- 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