Popular repositories Loading

1. DARC DARC Public

   Forked from Project-DARC/DARC

   Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.

   TypeScript 1

2. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust 1

3. workshop workshop Public

   Forked from ProvableHQ/workshop

   📜 A Starter Guide to Build ZK Applications 📜

   Shell 1

4. snarkVM snarkVM Public

   Forked from ProvableHQ/snarkVM

   A Virtual Machine for Zero-Knowledge Executions

   Rust 1

5. leo leo Public

   Forked from ProvableHQ/leo

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

   Rust 1

6. shelby-quickstart shelby-quickstart Public

   Forked from shelby/shelby-quickstart

   Simple samples to start serving with Shelby

   TypeScript 1