Stephen Diehl

write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

wiwinwlh. What I Wish I Knew When Learning Haskell

kaleidoscope. Haskell LLVM JIT Compiler Tutorial

bulletproofs. Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

typechecker-zoo. A menagerie of cute implementations of modern typechecking algorithms

numpile. A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

gevent-tutorial. Gevent tutorial for the Working Python Developer

wasm. Haskell compiler infastructure for WebAssembly

tinyjit. Haskell JIT

minichat. Minimal realtime chat application ( Tutorial )

mlir-egglog. A toy compiler for NumPy array expressions that uses e-graphs and MLIR

kaylee. MapReduce with ZeroMQ

repline. Haskeline wrapper for GHCi-like REPL interfaces

papers.

tiny-graphrag. A tiny 1000 line implementation of GraphRAG in Python

zkp. A framework to execute and verify algorithms using Groth16 zkSNARKs.

arithmetic-circuits. Arithmetic circuits for zero knowledge proof systems

dive-into-ghc. Dive into GHC

cabal-edit. A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

zurihac-crypto. Small minimal examples of modern cryptographic techniques in Haskell

schnorr-nizk. Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

sympy-mcp. A MCP server for symbolic manipulation of mathematical expressions

usolver. A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.

haskell-vim-proto. Basic starter config for Vim and Haskell

double-ratchet. Double ratchet algorithm for E2E encryption

pairing. Optimised bilinear pairings over elliptic curves

galois-field. Finite field and algebraic extension field arithmetic

zeromq-chat. A gevent + Django + Socket.IO + ZeroMQ chat example

sonic. Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

aos-signature. Abe-Ohkubo-Suzuki Linkable Ring Signatures

pynanomsg. Python bindings for nanomsg

elliptic-curve. A polymorphic interface for elliptic curve operations

subpy. Python subsets

vim-ormolu. Plugin for formatting Haskell source code

llvm-tutorial-standalone. DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

oblivious-transfer. Oblivious transfer for multiparty computation

cats. Generate commutative diagrams inside of Pandoc with Tikz

pyrewrite. Python term rewriting

compiler-crates. Minimal examples of crates useful for compiler development

prm. Library for training process reward models

hakyll-bootstrap. Basic Hakyll + Bootstrap site

paris-fp. Paris Functional Programming Meetup

dotfiles. My config files

llvm-codegen. Code generation utils for LLVM

numpush. Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )

tiny-r1. Recreating the minimal training methods of DeepSeek-R1 for small langauge models.

tiny-gpt2. A reference implementation of GPT-2 in Python, for teaching ML compilers

shamir. Shamir Secret Sharing

galois-fft. Finite field polynomial arithmetic based on fast Fourier transforms

datetime. Financial datetimes and holiday recurrence rules

haskell-picosat. Haskell bindings for PicoSAT solver

awesome-crypto-critique. Awesome critique of crypto / web3. Aim for this to be high quality and constructive (where possible!)

beamer_template. A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

gevent_viz. Visualize gevent Greenlet context switches