Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 232 267

  2. leo leo Public

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

    Rust 4.8k 712

  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.2k 1.5k

  5. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 341 269

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    TypeScript 627 483

Repositories

Showing 10 of 68 repositories
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 1,155 Apache-2.0 1,542 118 67 Updated Mar 26, 2026
  • leo-examples Public
    ProvableHQ/leo-examples’s past year of commit activity
    Leo 9 8 7 3 Updated Mar 26, 2026
  • 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,804 GPL-3.0 712 180 9 Updated Mar 26, 2026
  • leo-docs-source Public

    📄 Documentation for Leo 🦁

    ProvableHQ/leo-docs-source’s past year of commit activity
    Mermaid 331 GPL-3.0 221 22 11 Updated Mar 26, 2026
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 4,508 Apache-2.0 2,683 80 31 Updated Mar 26, 2026
  • dynamic-dispatch-example Public

    An example on how to use dynamic dispatch from Leo and the SDK.

    ProvableHQ/dynamic-dispatch-example’s past year of commit activity
    TypeScript 0 0 0 1 Updated Mar 26, 2026
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    TypeScript 627 GPL-3.0 483 29 15 Updated Mar 26, 2026
  • aleo-wallet-adapter Public

    Modular TypeScript wallet adapters and components for Aleo applications.

    ProvableHQ/aleo-wallet-adapter’s past year of commit activity
    TypeScript 93 MIT 51 17 8 Updated Mar 26, 2026
  • ARCs Public

    Aleo Request for Comments (ARCs)

    ProvableHQ/ARCs’s past year of commit activity
    JavaScript 232 Apache-2.0 267 0 6 Updated Mar 23, 2026
  • leo.nix Public

    A Nix flake for the Leo language.

    ProvableHQ/leo.nix’s past year of commit activity
    Nix 2 0 3 1 Updated Mar 19, 2026
View all repositories
Developer Program Member