greyblake / nutype

Rust newtype with guarantees 🇺🇦 🦀

srush / lean-transformer

Blog on formalizing key transformer invariants.