- 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