Pinned Loading

1. ARCsARCsPublic

   Aleo Request for Comments (ARCs)

   JavaScript 228 268

2. leoleoPublic

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

   Rust 4.8k 700

3. snarkOSsnarkOSPublic

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k

4. snarkVMsnarkVMPublic

   A zkVM for Decentralized Private Computations (DPC)

   Rust 1.1k 1.5k

5. workshopworkshopPublic

   📜 A Starter Guide to Build ZK Applications 📜

   Shell 340 270

6. sdksdkPublic

   Javascript & Typescript SDK for Zero-Knowledge Application Development

   Rust 615 481