greyblake / nutype

Rust newtype with guarantees 🇺🇦 🦀

dfm / emcee

The Python ensemble sampling toolkit for affine-invariant MCMC

Raminshiraz / raft-visualizer

Interactive Raft consensus visualizer. Crash nodes, partition the network, cut single links one-way, and watch elections and log repair play out — with every safety invariant machine-checked against the paper.

TypeLLM / pijev

Permutation Invariant Jev

srush / lean-transformer

Blog on formalizing key transformer invariants.