GitHub repository: Kindelia/Kind2
Primary language: Rust
Description: A next-gen functional language