Skip to content
@ProvableHQ

Provable

Zero-Knowledge is Finally Here 🚀

Pinned Loading

  1. welcome welcome Public

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

    319 207

  2. leo leo Public

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

    Rust 4.8k 643

  3. workshop workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    Shell 326 261

  4. sdk sdk Public

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

    TypeScript 576 459

Repositories

Showing 10 of 43 repositories
  • sdk Public

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

    ProvableHQ/sdk’s past year of commit activity
    TypeScript 576 GPL-3.0 459 55 (1 issue needs help) 27 Updated Aug 3, 2024
  • snarkVM Public Forked from AleoNet/snarkVM

    A Virtual Machine for Zero-Knowledge Executions

    ProvableHQ/snarkVM’s past year of commit activity
    Rust 5 Apache-2.0 1,575 0 8 Updated Aug 2, 2024
  • 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,792 GPL-3.0 643 629 7 Updated Aug 2, 2024
  • HTTPClient Public

    Rust HTTP API for Aleo Blockchain Nodes

    ProvableHQ/HTTPClient’s past year of commit activity
    Rust 0 0 1 0 Updated Aug 1, 2024
  • workshop Public

    📜 A Starter Guide to Build ZK Applications 📜

    ProvableHQ/workshop’s past year of commit activity
    Shell 326 261 17 9 Updated Aug 2, 2024
  • welcome Public

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

    ProvableHQ/welcome’s past year of commit activity
    319 GPL-3.0 207 19 27 Updated Aug 1, 2024
  • snarkOS Public Forked from AleoNet/snarkOS

    A Decentralized Operating System for ZK Applications

    ProvableHQ/snarkOS’s past year of commit activity
    Rust 16 Apache-2.0 2,978 0 2 Updated Aug 1, 2024
  • service Public
    ProvableHQ/service’s past year of commit activity
    Rust 7 GPL-3.0 17 0 1 Updated Jul 31, 2024
  • linguist Public Forked from github-linguist/linguist

    Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

    ProvableHQ/linguist’s past year of commit activity
    Ruby 2 MIT 4,670 0 0 Updated Jul 26, 2024
  • aleo-linguist Public
    ProvableHQ/aleo-linguist’s past year of commit activity
    TypeScript 0 Apache-2.0 0 0 0 Updated Jul 27, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…
Developer Program Member