GitHub repository: owo-lang/minitt-rs
Primary language: Rust
Description: Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust