Popular repositories Loading

1. clawdbot clawdbot Public

   Forked from openclaw/openclaw

   Your own personal AI assistant. Any OS. Any Platform.

   TypeScript

2. ironwood ironwood Public

   Forked from zcash/ironwood

   Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool

   Lean

3. CompPoly CompPoly Public

   Forked from Verified-zkEVM/CompPoly

   Computable Polynomials in Lean.

   Lean

4. CompElliptic CompElliptic Public

   Forked from daira/CompElliptic

   Computable elliptic-curve abstractions for Lean 4

   Lean

5. halo2 halo2 Public

   Forked from zcash/halo2

   The Halo2 zero-knowledge proving system

   Rust

6. orchard orchard Public

   Forked from zcash/orchard

   Implementation of the Zcash Orchard Protocol

   Rust