Skip to content
@ProvableHQ

Provable

Your Money, Your Rules ™

Pinned Loading

  1. ARCs ARCs Public

    Aleo Request for Comments (ARCs)

    JavaScript 220 254

  2. leo leo Public

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

    Rust 4.8k 660

  3. snarkOS snarkOS Public

    A Decentralized Operating System for ZK Applications

    Rust 4.4k 2.6k

  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 334 265

  6. sdk sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    HTML 594 471

Repositories

Showing 10 of 50 repositories
  • grammars Public

    Grammar specifications for languages and formats in the Aleo ecosystem.

    ProvableHQ/grammars’s past year of commit activity
    16 27 8 0 Updated Feb 1, 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,802 GPL-3.0 660 577 15 Updated Jan 31, 2025
  • snarkOS Public

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 4,390 Apache-2.0 2,641 79 39 Updated Jan 31, 2025
  • leo-contributors Public

    List of contributors to Leo.

    ProvableHQ/leo-contributors’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Jan 31, 2025
  • sdk Public

    Javascript & Typescript SDK for Zero-Knowledge Application Development

    ProvableHQ/sdk’s past year of commit activity
    HTML 594 GPL-3.0 471 58 (1 issue needs help) 34 Updated Jan 31, 2025
  • snarkVM Public

    A zkVM for Decentralized Private Computations (DPC)

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 1,094 Apache-2.0 1,498 65 55 Updated Jan 31, 2025
  • ARCs Public

    Aleo Request for Comments (ARCs)

    ProvableHQ/ARCs’s past year of commit activity
    JavaScript 220 Apache-2.0 254 0 24 Updated Jan 27, 2025
  • leo-examples Public
    ProvableHQ/leo-examples’s past year of commit activity
    Shell 2 2 0 1 Updated Jan 27, 2025
  • snarkVM-fork Public Forked from ProvableHQ/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    ProvableHQ/snarkVM-fork’s past year of commit activity
    Rust 9 Apache-2.0 1,609 0 5 Updated Jan 27, 2025
  • welcome Public

    👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

    ProvableHQ/welcome’s past year of commit activity
    325 GPL-3.0 218 23 35 Updated Jan 20, 2025
View all repositories

Most used topics

Loading…
Developer Program Member