Pinned

1. snarkOS snarkOS Public

   A Decentralized Operating System for ZK Applications

   Rust 3.9k 2.5k

2. workshop workshop Public

   📜 A Starter Guide to Build ZK Applications 📜

   Shell 317 254

3. snarkVM snarkVM Public

   A Virtual Machine for Zero-Knowledge Executions

   Rust 955 1.4k

4. sdk sdk Public

   A Software Development Kit (SDK) for Zero-Knowledge Transactions

   TypeScript 549 434

5. leo leo Public

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

   Rust 4.8k 604

6. ARCs ARCs Public

   Aleo Request for Comments (ARCs)

   JavaScript 193 238