A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Chart loads on client side