Repository · dormant
A Decentralized Operating System for ZK Applications
stars
0
forks
contributors
65
open issues
Not enough history yet — signal stabilises after ~2 snapshots.
howardwu
@howardwu
3,187
commits
raychu86
@raychu86
1,610
ljedrz
@ljedrz
1,508
niklaslong
@niklaslong
811
Protryon
@Protryon
134
collinc97
@collinc97
117
gakonst
@gakonst
70
jules
@jules
69
vvp
@vvp
55
daniilr
@daniilr
40
joske
@joske
36
vbar
@vbar
33
wcannon
@wcannon
23
kobigurk
@kobigurk
22
sadroeck
@sadroeck
20
apruden2008
@apruden2008
17
wcannon-aleo
@wcannon-aleo
14
SplittyDev
@SplittyDev
12
tudorpintea999
@tudorpintea999
11
amousa11
@amousa11
8
soft2dev
@soft2dev
7
acoglio
@acoglio
6
IAvecilla
@IAvecilla
iamalwaysuncomfortable
@iamalwaysuncomfortable
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ProvableHQ/snarkOS
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.
