Library for training process reward models

A tiny 1000 line implementation of GraphRAG in Python

Examples of using egraphs for term-rewriting

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

Gevent tutorial for the Working Python Developer

Arithmetic circuits for zero knowledge proof systems

Finite field and algebraic extension field arithmetic

Optimised bilinear pairings over elliptic curves

My config files

A polymorphic interface for elliptic curve operations

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

Haskeline wrapper for GHCi-like REPL interfaces

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

What I Wish I Knew When Learning Haskell

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

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

Plugin for formatting Haskell source code

Finite field polynomial arithmetic based on fast Fourier transforms

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Financial datetimes and holiday recurrence rules

Symbolic logic expressions

Cabal-fmt vim plugin for formatting Cabal package files

Applicative data validation

Haskell bindings for PicoSAT solver

Haskell LLVM JIT Compiler Tutorial