Repository · dormant

ProvableHQ/leo-docs-source

📄 Documentation for Leo 🦁

MermaidGPL-3.0ArchivedAleo

GitHub Website

stars

330

forks

221

contributors

open issues

Stars · last 6 weeks

Trend

Stars Δ 1w0

Stars Δ 4w-1

Contributors Δ 1w0

Last commit41d ago

Weekly snapshots

6 rows

Week	Stars	Forks	Contributors	Open issues
2026-W15	314	221	75	28
2026-W16	331	221	90	28
2026-W17	331	221	75	28
2026-W22	331	221	75	0
2026-W23	330	221	75	0
2026-W24	330	221	75	0

Top contributors

Ecosystem context

Aleo

ProvableHQ/leo

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

Rustlast commit 2026-06-08

4,817 stars

719 forks

77 contribs

ProvableHQ/snarkOS

A Decentralized Operating System for ZK Applications

Rustlast commit 2026-06-05

4,527 stars

2,686 forks

103 contribs

ProvableHQ/snarkVM

A zkVM for Decentralized Private Computations (DPC)

Rustlast commit 2026-06-08

1,156 stars

1,549 forks

85 contribs

howardwu/wagyu

A Rust library for generating cryptocurrency wallets

Rustlast commit 2022-02-17

645 stars

108 forks

10 contribs

ProvableHQ/sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

TypeScriptlast commit 2026-06-02

632 stars

488 forks

43 contribs

howardwu/awesome-aleo

🏎️ A curated list of Aleo & Leo code and resources 🏎️

last commit 2025-09-06

391 stars

248 forks

48 contribs

ProvableHQ/workshop

📜 A Starter Guide to Build ZK Applications 📜

Shelllast commit 2024-12-17

341 stars

269 forks

6 contribs

AleoNet/aleo-education

Aleo Education

last commit 2024-06-18

258 stars

203 forks

3 contribs

Subscriber view

Unlock the full view of ProvableHQ/leo-docs-source

Full repository, commit, and contributor breakdown
Peer graph and ecosystem links
Weekly trend deltas and pulse signal
API and CSV / JSON exports

Subscribe Sign in

Already a subscriber? Sign in with the same email used at checkout.