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