ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
RustGPL-3.0
Stargazers
- 0xskydb
- 3100@datachainlab
- alxiongSingapore
- coladonz
- collinc97
- CYBAITokyo
- D1mon
- fietjeOS
- fly51flyPRIS
- gillichu
- h0ngcha0Alephium | Softfork
- haischelKryha
- HAOYUatHZ@scroll-tech @fluidex @ZenGo-X
- howardwuUniversity of California, Berkeley
- jakinyeleJohns Hopkins University
- JaniAnttonen@STRGL-XYZ
- jcliffScalar Capital
- kapiveerEarth
- KartikTalwarSan Francisco
- khushmeeetSunnyvale, California
- kobigurkIsrael
- linda-xie
- metaprem
- nanne007
- nicolaMIT/Berkman Center
- njessSan Francisco, CA
- onsailsDubai, UAE
- PfanP
- Pratyush@arkworks-rs
- raychu86
- SRCoughlin
- throughnothingArche Capital
- timothyklim
- wmwwshe/her
- Wondertan@celestiaorg
- xasos@polychain