Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 228 268

  2. leo leo Public

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

    Rust 4.8k 705

  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 270

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Rust 616 480

Repositories

Showing 10 of 67 repositories
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 1,148 Apache-2.0 1,546 105 73 Updated Jan 22, 2026
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 4,500 Apache-2.0 2,688 75 36 Updated Jan 22, 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,801 GPL-3.0 705 164 17 Updated Jan 22, 2026
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    Rust 616 GPL-3.0 480 19 17 Updated Jan 22, 2026
  • leo.nix Public

    A Nix flake for the Leo language.

    ProvableHQ/leo.nix’s past year of commit activity
    Nix 2 0 0 0 Updated Jan 22, 2026
  • aleo-hd-key Public
    ProvableHQ/aleo-hd-key’s past year of commit activity
    TypeScript 8 MIT 0 0 8 Updated Jan 22, 2026
  • leo-wallet-demo Public
    ProvableHQ/leo-wallet-demo’s past year of commit activity
    TypeScript 18 13 0 4 Updated Jan 22, 2026
  • compliant-stablecoin Public
    ProvableHQ/compliant-stablecoin’s past year of commit activity
    Leo 1 GPL-3.0 0 0 1 Updated Jan 21, 2026
  • aleo-dev-toolkit Public

    The Aleo developer toolkit (wallet adaptor, hooks packages)

    ProvableHQ/aleo-dev-toolkit’s past year of commit activity
    TypeScript 1 GPL-3.0 0 1 2 Updated Jan 21, 2026
  • provablehq.github.io Public
    ProvableHQ/provablehq.github.io’s past year of commit activity
    3 3 0 0 Updated Jan 21, 2026
View all repositories
Developer Program Member