Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 223 266

  2. leo leo Public

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

    Rust 4.8k 693

  3. snarkOS snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.5k 2.7k

  4. snarkVM snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    Rust 1.1k 1.5k

  5. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 340 269

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Rust 616 478

Repositories

Showing 10 of 53 repositories
  • leo Public

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

    ProvableHQ/leo’s past year of commit activity
    Rust 4,798 GPL-3.0 693 172 23 Updated Oct 14, 2025
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 1,141 Apache-2.0 1,534 82 54 Updated Oct 14, 2025
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    Rust 616 GPL-3.0 478 15 12 Updated Oct 14, 2025
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 4,471 Apache-2.0 2,682 72 34 Updated Oct 13, 2025
  • ARCs Public

    Aleo Request for Comments (ARCs)

    ProvableHQ/ARCs’s past year of commit activity
    JavaScript 223 Apache-2.0 266 0 7 Updated Oct 12, 2025
  • leo-docs-source Public

    📄 Documentation for Leo 🦁

    ProvableHQ/leo-docs-source’s past year of commit activity
    Mermaid 332 GPL-3.0 223 11 9 Updated Oct 8, 2025
  • provablehq.github.io Public
    ProvableHQ/provablehq.github.io’s past year of commit activity
    HTML 3 3 0 0 Updated Oct 8, 2025
  • varuna-sage-impl Public

    A SageMath implementation of the Varuna zkSNARK.

    ProvableHQ/varuna-sage-impl’s past year of commit activity
    Sage 6 3 1 0 Updated Oct 2, 2025
  • leo-examples Public
    ProvableHQ/leo-examples’s past year of commit activity
    Leo 9 7 6 2 Updated Sep 24, 2025
  • afl_program_tools Public

    Fuzzing tools for the AleoVM

    ProvableHQ/afl_program_tools’s past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Sep 15, 2025
View all repositories
Developer Program Member