An autoregressive character-level language model for making more things

Solve puzzles. Learn CUDA.

Test cases for Writing a C Compiler

A primer for users trying to make sense of Org Mode

A c/c++ implementation of micrograd: a tiny autograd engine with neural net on top.

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

A statically typed tensor programming language for defining AI models.

Reference implementation for Writing a C Compiler

Master programming by recreating your favorite technologies from scratch.

Support for for students (Python)

A collection of out-of-tree LLVM passes for teaching and learning

Following Nystrom's book Crafting Interpreters, implemented in C++.

Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbas…

Symbolic-execution-based verifier for the Viper intermediate verification language.

A web app that learns to repair your command line mistakes.

An SMT Solver for strings

Type-and-example-driven program synthesis for functional programming languages

MonoSAT - An SMT solver for Monotonic Theories

Testing the security of sanitizers by learning symbolic finite transducers

Duet: static analysis for unbounded concurrency

A Verified Compiler for Gallina, Written in Gallina