Pinned Repositories
wagyu
A Rust library for generating cryptocurrency wallets
aleo-rust
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
leo-docs-source
📄 Documentation for Leo 🦁
sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
snarkOS
A Decentralized Operating System for ZK Applications
snarkVM
A zkVM for Decentralized Private Computations (DPC)
leo-bubble-sort
phase2-bn254