Provable

Pinned Loading

Aleo Request for Comments (ARCs)

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

Rust 4.8k 706
A Decentralized Operating System for ZK Applications

Rust 4.5k 2.7k
A zkVM for Decentralized Private Computations (DPC)

Rust 1.2k 1.5k
📜 A Starter Guide to Build ZK Applications 📜

Shell 341 270
Javascript & Typescript SDK for Zero-Knowledge Application Development

TypeScript 623 482

Showing 10 of 67 repositories

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

ProvableHQ/leo’s past year of commit activity
sdk Public
Javascript & Typescript SDK for Zero-Knowledge Application Development

ProvableHQ/sdk’s past year of commit activity

TypeScript
623
GPL-3.0
482 21 16
Updated Feb 21, 2026
snarkOS Public
A Decentralized Operating System for ZK Applications

ProvableHQ/snarkOS’s past year of commit activity
snarkVM Public
A zkVM for Decentralized Private Computations (DPC)

ProvableHQ/snarkVM’s past year of commit activity
ProvableHQ/aleo-standard-programs’s past year of commit activity

TypeScript
26 33 0 9
Updated Feb 17, 2026
ProvableHQ/aleo-standard-programs-pondo’s past year of commit activity

TypeScript
1
0
0 8
Updated Feb 13, 2026
leo.nix Public
A Nix flake for the Leo language.

ProvableHQ/leo.nix’s past year of commit activity

Nix
2
0
0 0
Updated Feb 13, 2026
ProvableHQ/leo-docs-source’s past year of commit activity

Mermaid
331
GPL-3.0
221 22 13
Updated Feb 13, 2026
ProvableHQ/zk-auction-example’s past year of commit activity

JavaScript
2 1 0 7
Updated Feb 11, 2026
ProvableHQ/leo-wallet-demo’s past year of commit activity

TypeScript
18 13 0 6
Updated Feb 10, 2026