lexicon179 / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆17Updated last year
Alternatives and similar repositories for leo
Users that are interested in leo are comparing it to the libraries listed below
Sorting:
- ☆17Updated last year
- Optimism is Ethereum, scaled.☆17Updated last year
- ☆16Updated last year
- ☆15Updated last year
- BaseCamp Contracts☆15Updated last year
- ☆17Updated last year
- Everything required to run your own Base node☆17Updated last year
- ☆14Updated last year
- ☆13Updated last year
- ☆16Updated last year
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 9 years ago
- ☆13Updated 8 years ago
- ☆10Updated last year
- ☆9Updated last year
- The Decentralized and Scaled Blockchain☆18Updated 2 years ago
- Collection of batch scripts utilities for Windows☆21Updated last year
- ☆22Updated last year
- ☆10Updated last year
- ☆9Updated last year
- ☆20Updated 2 years ago
- ⛽ The Fuel toolchain installer☆22Updated last year
- Detect real-time threats and events on OP Stack compatible blockchains☆14Updated last year
- ☆10Updated last year
- ☆8Updated last year
- ☆8Updated last year
- ☆8Updated last year
- ☆8Updated last year