FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

Provable · GitHub

Provable

Your Money, Your Rules ™

Verified
We've verified that the organization ProvableHQ controls the domain:
- provable.com
Learn more about verified organizations

Overview
Repositories
Projects
Packages
People

Pinned Loading

ARCs ARCs Public

Aleo Request for Comments (ARCs)

JavaScript 232 268
leo leo Public

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

Rust 4.8k 716
snarkOS snarkOS Public

A Decentralized Operating System for ZK Applications

Rust 4.5k 2.7k
snarkVM snarkVM Public

A zkVM for Decentralized Private Computations (DPC)

Rust 1.2k 1.6k
workshop workshop Public

📜 A Starter Guide to Build ZK Applications 📜

Shell 341 266
sdk sdk Public

Javascript & Typescript SDK for Zero-Knowledge Application Development

TypeScript 633 488

Repositories

Type Language Sort

snarkOS Public
A Decentralized Operating System for ZK Applications

ProvableHQ/snarkOS's past year of commit activity

Rust 4,527 Apache-2.0 2,694 96 43 Updated Aug 30, 2026
snarkVM Public
A zkVM for Decentralized Private Computations (DPC)

ProvableHQ/snarkVM's past year of commit activity

Rust 1,163 Apache-2.0 1,558 136 77 Updated Aug 29, 2026
veil Public
A Typescript interface for Aleo

ProvableHQ/veil's past year of commit activity

TypeScript 0 MIT 1 9 4 Updated Aug 28, 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 2 1 4 Updated Aug 28, 2026
aleo-devnode Public
A standalone Aleo development node for local development and testing

ProvableHQ/aleo-devnode's past year of commit activity

Rust 1 2 3 0 Updated Aug 21, 2026
sdk Public
Javascript & Typescript SDK for Zero-Knowledge Application Development

ProvableHQ/sdk's past year of commit activity

TypeScript 633 GPL-3.0 488 27 13 Updated Aug 21, 2026
leo.nix Public
A Nix flake for the Leo language.

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

Nix 2 0 2 0 Updated Aug 20, 2026
leo-lsp-clients Public
IDE integrations and language server clients for the Leo programming language.

ProvableHQ/leo-lsp-clients's past year of commit activity

JavaScript 1 GPL-3.0 0 2 8 Updated Aug 19, 2026
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,822 GPL-3.0 716 155 14 Updated Aug 19, 2026
aleo-linguist Public

ProvableHQ/aleo-linguist's past year of commit activity

JavaScript 3 Apache-2.0 1 0 1 Updated Aug 11, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Developer Program Member

Back | FazBrowse Home | New Git URL