Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 222 260

  2. leo Public

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

    Rust 4.8k 670

  3. snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.4k 2.7k

  4. snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    Rust 1.1k 1.5k

  5. workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 337 268

  6. sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Rust 605 475

Repositories

Showing 10 of 52 repositories
  • leo Public

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

    Rust 4,830 GPL-3.0 670 101 17 Updated May 13, 2025
  • provablehq.github.io Public
    HTML 1 2 0 0 Updated May 13, 2025
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4,439 Apache-2.0 2,662 57 43 Updated May 13, 2025
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    Rust 1,115 Apache-2.0 1,513 69 49 Updated May 13, 2025
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Rust 605 GPL-3.0 475 6 13 Updated May 9, 2025
  • leo-docs-source Public

    📄 Documentation for Leo 🦁

    Mermaid 327 GPL-3.0 224 4 13 Updated May 9, 2025
  • zk-auction-example Public
    JavaScript 0 0 0 1 Updated May 9, 2025
  • leo-examples Public
    Shell 4 5 0 2 Updated May 1, 2025
  • ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 222 Apache-2.0 260 0 9 Updated Apr 30, 2025
  • service Public
    Rust 10 GPL-3.0 18 0 0 Updated Apr 23, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…
Developer Program Member