https://github.com/breandan/breandan
Research files and meetings.
https://github.com/breandan/breandan
Last synced: 6 months ago
JSON representation
Research files and meetings.
- Host: GitHub
- URL: https://github.com/breandan/breandan
- Owner: breandan
- Created: 2020-05-20T20:25:50.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2025-12-16T23:12:13.000Z (8 months ago)
- Last Synced: 2025-12-20T13:36:32.332Z (8 months ago)
- Language: TeX
- Homepage:
- Size: 32.5 MB
- Stars: 7
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
### Libraries :books:
- [Galoisenne](https://github.com/breandan/galoisenne) - :spider_web: Graphs, finite fields and discrete dynamical systems
- [Kotlin∇](https://github.com/breandan/kotlingrad) - 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
- [Picograd](https://github.com/breandan/picograd) - 🦠 The tiniest possible autograd
- [Pantograph](https://github.com/breandan/pantograph) - :triangular_ruler: Runtime accessible intermediate representation for reified computation graphs
- [Yuri](https://github.com/breandan/yuri) - :man_astronaut: A type-safe URI builder in Kotlin
### Research :microscope:
- [Code Search Tools](https://github.com/breandan/gym-fs) - :mag: Tools and experiments for information retrieval on code.
- [TraceLink](https://github.com/breandan/tracelink/blob/master/latex/comp762/sample-authordraft.pdf) - :link: Working on trace link retrieval in documentation
- [GymPC](https://github.com/breandan/gym-pc) - :shell: RL environment for command line interactions
### Applications :gear:
- [Tidyparse](https://github.com/breandan/tidyparse) - :broom: Error-correcting context free grammar parser plugin
- [Hatchery](https://github.com/duckietown/hatchery) - :hatching_chick: An IDE for building ROS applications
- [SourceJump](https://github.com/acejump/SourceJump) - :card_index: Find contextually similar OSS code without leaving your IDE!
- [AceJump](https://github.com/acejump/AceJump) - :a: single character search, select, and jump
- [Idiolect](https://github.com/openasr/idiolect) - :studio_microphone: Handsfree Audio Development Interface
- [TraceJump](https://github.com/acejump/tracejump) - :camera_flash: Annotating screenshots with trace links
### Ideas :bulb:
- [AIPLANS](https://aiplans.github.io) - Advances in Programming Languages and Neurosymbolic Systems
- [ML4Code RG](https://ml4code-mtl.github.io/) - Machine Learning for Code Reading Group
- [Computer Calculus RG](https://compcalc.github.io) - 🧮 Reading about differential, integral and logical calculi
- [Breandan's Blog](https://breandan.github.io) - :writing_hand: A place to store my ideas
- [Slide decks](https://speakerdeck.com/breandan/) - :loudspeaker: Tutorials and presentations
- [How to share a secret message](https://github.com/breandan/crypto-koans) - :lock_with_ink_pen: Cryptography for kids