Skip to content
View breandan's full-sized avatar
📖
I may be slow to respond.
📖
I may be slow to respond.
394 followers · 1k following

Sponsoring

@philzook58

Achievements

Achievement: Starstruckx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

Organizations

@mila-iqia

Block or report breandan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
breandan/README.md

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 💡

Pinned Loading

  1. kotlingrad kotlingrad Public

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

    Kotlin 541 22

  2. galoisenne galoisenne Public

    🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

    Kotlin 143 12

  3. OpenASR/idiolect OpenASR/idiolect Public

    🎙️ Handsfree Audio Development Interface

    Kotlin 99 11

  4. tidyparse/tidyparse tidyparse/tidyparse Public

    ✂️ Syntax correction in context-free languages.

    Kotlin 23 1

  5. compcalc/compcalc.github.io compcalc/compcalc.github.io Public

    🧮 Reading group about differential, integral and logical calculi.

    TeX 26

  6. aiplans/aiplans.github.io aiplans/aiplans.github.io Public

    Advances in Programming Languages and Neurosymbolic Systems Workshop

    TeX 8