breandan's repositories
galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
cubit
Rescued from https://web.archive.org/web/20150918204917/http://www.cis.upenn.edu/~lhuang3/cubit/cubit-v0.8.tgz
BIFI
[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
breandan.github.io
✍️ A place to store my ideas.
seq2parse
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
enumerateCFG
Code for enumeration from a CFG
kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
sbp
Mirror of http://git.megacz.com/sbp.git
kgifencoder
Raw translation of https://github.com/square/gifencoder for Kotlin Multiplatform
crypto-koans
🔏 How to share a secret message: crypto katas for kids
intellij-rainbow-brackets
🌈Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio
tracelink
🔗 Trace Link Prediction from code to documentation
pi-forall
A demo implementation of a simple dependently-typed language
verik
Verik toolchain
verik-examples
Example Verik projects
kmath
Kotlin mathematics extensions library
CodeXGLUE
CodeXGLUE
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.
seai-client-template
Client Template for SEAI Project (COMP 598, Fall 2020)
kotlin-web-site
The Kotlin Programming Language Website
eusolver
Fork of the original eusolver.