Repository · dormant
Leo programming
stars
0
forks
contributors
1
open issues
Not enough history yet — signal stabilises after ~2 snapshots.
jamesoyanna
@jamesoyanna
commits
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
howardwu/wagyu
A Rust library for generating cryptocurrency wallets
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
howardwu/awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
ProvableHQ/workshop
📜 A Starter Guide to Build ZK Applications 📜
ProvableHQ/leo-docs-source
📄 Documentation for Leo 🦁
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
