GitHub repository: kaprino-lang/kaprino
Primary language: Rust
Description: kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.