GitHub repository: xssh-io/snarkOS
Primary language: Rust
Description: A Decentralized Operating System for ZK Applications