GitHub repository: AleoNet/anf-snarkOS
Primary language: Rust
Description: A Decentralized Operating System for Zero-Knowledge Applications