lexicon179 / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆18Updated 7 months ago
Alternatives and similar repositories for leo:
Users that are interested in leo are comparing it to the libraries listed below
- ☆18Updated 8 months ago
- Optimism is Ethereum, scaled.☆18Updated 8 months ago
- ☆16Updated 7 months ago
- Everything required to run your own Base node☆18Updated 8 months ago
- ☆18Updated 8 months ago
- BaseCamp Contracts☆17Updated 8 months ago
- ☆17Updated 8 months ago
- Collection of batch scripts utilities for Windows☆30Updated 8 months ago
- ☆17Updated 8 months ago
- ☆16Updated 8 months ago
- ⛽ The Fuel toolchain installer☆31Updated 7 months ago
- The Decentralized and Scaled Blockchain☆28Updated last year
- ☆31Updated last year
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- A decentralized, Ethereum-equivalent ZK-Rollup. 🥁☆34Updated last year
- ☆33Updated last year
- ☆15Updated 8 months ago
- ☆35Updated 7 months ago
- Detect real-time threats and events on OP Stack compatible blockchains☆19Updated 9 months ago
- next test☆19Updated 3 years ago
- Check if people follows you back on Instagram.☆34Updated last year
- ☆19Updated 8 months ago
- Wagmi hooks for OP stack chains☆19Updated 9 months ago
- Brand guide and logos for the Base brand.☆14Updated 8 months ago
- ☆10Updated 7 months ago
- Python SDK for liquidswap☆19Updated 2 years ago