Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 223 260

  2. leo leo Public

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

    Rust 4.8k 670

  3. snarkOS snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.4k 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 337 269

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    Rust 602 473

Repositories

Showing 10 of 51 repositories
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    Rust 602 GPL-3.0 473 12 10 Updated Apr 12, 2025
  • leo-docs-source Public

    📄 Documentation for Leo 🦁

    ProvableHQ/leo-docs-source’s past year of commit activity
    Mermaid 327 GPL-3.0 224 3 11 Updated Apr 11, 2025
  • 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,830 GPL-3.0 670 89 17 Updated Apr 11, 2025
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 1,113 Apache-2.0 1,510 63 47 Updated Apr 11, 2025
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 4,432 Apache-2.0 2,659 52 34 Updated Apr 11, 2025
  • HTTPClient Public

    Rust HTTP API for Aleo Blockchain Nodes

    ProvableHQ/HTTPClient’s past year of commit activity
    Rust 1 0 1 3 Updated Apr 8, 2025
  • leo-examples Public
    ProvableHQ/leo-examples’s past year of commit activity
    Shell 4 5 0 2 Updated Apr 7, 2025
  • provablehq.github.io Public
    ProvableHQ/provablehq.github.io’s past year of commit activity
    HTML 1 2 0 2 Updated Apr 7, 2025
  • service Public
    ProvableHQ/service’s past year of commit activity
    Rust 10 GPL-3.0 19 0 0 Updated Apr 3, 2025
  • grammars Public

    Grammar specifications for languages and formats in the Aleo ecosystem.

    ProvableHQ/grammars’s past year of commit activity
    17 28 8 0 Updated Mar 16, 2025
View all repositories

Most used topics

Loading…
Developer Program Member