GitHub repository: owo-lang/voile-rs
Primary language: Rust
Description: Dependently-typed row-polymorphic programming language, evolved from minitt-rs