GitHub repository: polarity-lang/polarity-lang
Primary language: Rust
Description: A Language with Dependent Data and Codata Types