5 open source projects by owo-lang

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

The MLPolyR programming language, revived

Documented version of a simple type-theoretic language: Mini-TT

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust