Pinned Loading

1. ProvableHQ/snarkOS ProvableHQ/snarkOS Public

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k

2. ProvableHQ/snarkVM ProvableHQ/snarkVM Public

   A zkVM for Decentralized Private Computations (DPC)

   Rust 1.2k 1.6k

3. ProvableHQ/leo ProvableHQ/leo Public

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 4.8k 717

4. ProvableHQ/sdk ProvableHQ/sdk Public

   Javascript & Typescript SDK for Zero-Knowledge Application Development

   TypeScript 633 486

5. awesome-aleo awesome-aleo Public

   🏎️ A curated list of Aleo & Leo code and resources 🏎️

   391 247

6. wagyu wagyu Public

   A Rust library for generating cryptocurrency wallets

   Rust 644 108