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 711

  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 629 486

Repositories

Showing 10 of 69 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,811 GPL-3.0 711 169 10 Updated Apr 23, 2026
  • leo-docs-source Public

    📄 Documentation for Leo 🦁

    ProvableHQ/leo-docs-source’s past year of commit activity
    Mermaid 331 GPL-3.0 221 17 11 Updated Apr 23, 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 610 0 14 Updated Apr 23, 2026
  • leo-examples Public
    ProvableHQ/leo-examples’s past year of commit activity
    Leo 9 8 7 9 Updated Apr 23, 2026
  • aleo-key-gen Public
    ProvableHQ/aleo-key-gen’s past year of commit activity
    Rust 1 MIT 0 0 4 Updated Apr 23, 2026
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    TypeScript 629 GPL-3.0 486 20 19 Updated Apr 23, 2026
  • aleo-linguist Public
    ProvableHQ/aleo-linguist’s past year of commit activity
    TypeScript 3 Apache-2.0 1 0 1 Updated Apr 22, 2026
  • leo-linguist Public
    ProvableHQ/leo-linguist’s past year of commit activity
    TypeScript 3 Apache-2.0 2 0 1 Updated Apr 22, 2026
  • nemean Public
    ProvableHQ/nemean’s past year of commit activity
    Go 8 GPL-3.0 11 0 3 Updated Apr 22, 2026
  • aleo-dev-toolkit Public

    The Aleo developer toolkit (wallet adaptor, hooks packages)

    ProvableHQ/aleo-dev-toolkit’s past year of commit activity
    TypeScript 4 GPL-3.0 1 1 4 Updated Apr 22, 2026

Top languages

Loading…

Most used topics

Loading…