Pinned Repositories
aiplans.github.io
Advances in Programming Languages and Neurosymbolic Systems Workshop
cstk
🔍 Code Search Tools & Experiments
galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
markovian
🎲 A Kotlin DSL for probabilistic programming.
picograd
🦠 AD in less than 20 lines
yuri
👨🚀 A type-safe URI builder in Kotlin
compcalc.github.io
🧮 Reading group about differential, integral and logical calculi.
idiolect
🎙️ Handsfree Audio Development Interface
tidyparse
✂️ Syntax correction in context-free and weakly context-sensitive languages.
breandan's Repositories
breandan/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
breandan/yuri
👨🚀 A type-safe URI builder in Kotlin
breandan/markovian
🎲 A Kotlin DSL for probabilistic programming.
breandan/cstk
🔍 Code Search Tools & Experiments
breandan/breandan
Research files and meetings.
breandan/breandan.github.io
✍️ A place to store my ideas.
breandan/typelevel
Demonstrating the value of types.
breandan/crypto-koans
🔏 How to share a secret message: crypto katas for kids
breandan/seai-client-template
Client Template for SEAI Project (COMP 598, Fall 2020)
breandan/bar-hillel
breandan/BIFI
[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
breandan/CodeXGLUE
CodeXGLUE
breandan/compose-jb
Jetpack Compose for Desktop and Web, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.
breandan/cubit
Rescued from https://web.archive.org/web/20150918204917/http://www.cis.upenn.edu/~lhuang3/cubit/cubit-v0.8.tgz
breandan/enumerateCFG
Code for enumeration from a CFG
breandan/eusolver
Fork of the original eusolver.
breandan/hello-vosk
breandan/intellij-rainbow-brackets
🌈Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio
breandan/kgifencoder
Raw translation of https://github.com/square/gifencoder for Kotlin Multiplatform
breandan/kmath
Kotlin mathematics extensions library
breandan/kotlin-web-site
The Kotlin Programming Language Website
breandan/kotlingrad-consumer
breandan/pi-forall
A demo implementation of a simple dependently-typed language
breandan/sbp
Mirror of http://git.megacz.com/sbp.git
breandan/seq2parse
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
breandan/theinsideview.github.io
breandan/tracelink
🔗 Trace Link Prediction from code to documentation
breandan/verik
Verik toolchain
breandan/verik-examples
Example Verik projects