GitHub repository: sarvex/hubris-lang
Primary language: Rust
Description: A dependently typed programming language, and verification tool