Repository · dormant
Aleo analyzer and disassembler
stars
9
forks
6
contributors
2
open issues
0
Not enough history yet — signal stabilises after ~2 snapshots.
raefko
@raefko
77
commits
pventuzelo
@pventuzelo
1
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.
