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/blake-hash
breandan/naive-bayes-classifier
breandan/Algorithms
breandan/cbl-tikz-poster
A tikz based poster template for CBL.