ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Watchers
- AHPannaPrydaz
- alievai
- ardisssroland
- bendyarmKestrel Institute
- cacaemanurin
- ChaseKnowldenIndiana
- CynthiaCurtis
- d0cdSan Francisco, CA
- dabao8888
- damons@monadicus
- dehmyjss
- dev-sptgSmart Pelican Technologies Group, LLC
- DoraLsk
- eemailme
- farassasikin
- gavinzhengToronto, Canada
- godlysaikoTCS
- howardwuUniversity of California, Berkeley
- issam2021matrix
- jerrypatterson89
- jhcloos
- KirlosAymn
- kongtoubaofu
- koreanselca
- KyleBuilds
- mationorato@lambdaclass
- Mhyxz131115
- nicolestewart78
- osdio
- ozfSoftware Square, Byte Town, Logicstate, Computronia
- shanimian2012
- snegovikovOwn company
- stellyairio
- twiterfame
- VigenTerzian
- wussav1