Pinned Loading

1. ARCs ARCs Public

   Aleo Request for Comments (ARCs)

   JavaScript 228 268

2. leo leo Public

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

   Rust 4.8k 700

3. snarkOS snarkOS Public

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k

4. snarkVM snarkVM Public

   A zkVM for Decentralized Private Computations (DPC)

   Rust 1.1k 1.5k

5. workshop workshop Public

   📜 A Starter Guide to Build ZK Applications 📜

   Shell 340 270

6. sdk sdk Public

   Javascript & Typescript SDK for Zero-Knowledge Application Development

   Rust 616 481