Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 232 268

  2. leo leo Public

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

    Rust 4.8k 717

  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.6k

  5. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 340 266

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    TypeScript 633 487

Repositories

Showing 10 of 72 repositories
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS's past year of commit activity
    Rust 4,529 Apache-2.0 2,697 87 52 Updated Oct 2, 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,822 GPL-3.0 717 155 19 Updated Oct 2, 2026
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM's past year of commit activity
    Rust 1,166 Apache-2.0 1,561 140 81 Updated Oct 2, 2026
  • python-sdk Public
    ProvableHQ/python-sdk's past year of commit activity
    Python 45 GPL-3.0 51 4 9 Updated Oct 2, 2026
  • veil Public

    A Typescript interface for Aleo

    ProvableHQ/veil's past year of commit activity
    TypeScript 0 MIT 1 8 8 Updated Oct 2, 2026
  • aleo-forked-demox Public Forked from ProvableHQ/sdk

    A Software Development Kit (SDK) for Zero-Knowledge Transactions

    ProvableHQ/aleo-forked-demox's past year of commit activity
    Rust 4 GPL-3.0 613 0 14 Updated Oct 1, 2026
  • snarkVM-forked-demox Public Forked from ProvableHQ/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    ProvableHQ/snarkVM-forked-demox's past year of commit activity
    Rust 0 Apache-2.0 1,677 0 5 Updated Oct 2, 2026
  • shield-swap-agent-kit Public

    Tools for Agentic Trading on Shield Swap

    ProvableHQ/shield-swap-agent-kit's past year of commit activity
    JavaScript 0 0 0 1 Updated Oct 1, 2026
  • leo-lsp-clients Public

    IDE integrations and language server clients for the Leo programming language.

    ProvableHQ/leo-lsp-clients's past year of commit activity
    JavaScript 1 GPL-3.0 0 2 8 Updated Oct 2, 2026
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk's past year of commit activity
    TypeScript 633 GPL-3.0 487 27 13 Updated Oct 1, 2026
View all repositories
Developer Program Member