I am a student in the Software Technology Lab at McGill University, under the supervision of Jin Guo. There, I am building tools to help developers locate and reason about software artifacts, by learning to read and write code.
Libraries 📚
- Markovian -
🎲 A Kotlin DSL for probabilistic programming - Kaliningraph -
🕸️ Graph neural networks and visualizing the behavior of graph algorithms - 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 ⚙️
- Hatchery -
🐣 An IDE for building ROS applications - SourceJump -
📇 Find contextually similar OSS code without leaving your IDE! - AceJump -
🅰️ single character search, select, and jump - idear -
🎙️ Handsfree Audio Development Interface - TraceJump:
📸 annotating screenshots with trace links.
Ideas 💡
- 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