GitHub repository: katat/noname
Primary language: Rust
Description: Noname: a programming language to write zkapps