Top Repositories
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
🦠 AD in less than 20 lines
👨🚀 A type-safe URI builder in Kotlin
🔍 Code Search Tools & Experiments
🎲 A Kotlin DSL for probabilistic programming.
Repositories
185🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
🔍 Code Search Tools & Experiments
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
✍️ A place to store my ideas.
👨🚀 A type-safe URI builder in Kotlin
Research files and meetings.
No description provided.
No description provided.
[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
🦠 AD in less than 20 lines
Demonstrating the value of types.
Open source developer-focused block engine
Imported from UMBC website.
🔏 How to share a secret message: crypto katas for kids
Collections Kata
📐 Introspection and reconstruction of Python dataflow with metaprogramming.
The Swift Programming Language
Rescued from https://web.archive.org/web/20150918204917/http://www.cis.upenn.edu/~lhuang3/cubit/cubit-v0.8.tgz
Code for enumeration from a CFG
No description provided.
An abstract algebra library for Kotlin
Code samples for DevNexus session.
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
No description provided.
No description provided.
🎲 A Kotlin DSL for probabilistic programming.
Notebook here
No description provided.
Mirror of http://git.megacz.com/sbp.git
Raw translation of https://github.com/square/gifencoder for Kotlin Multiplatform