lexicon179 / leoLinks
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆18Updated last year
Alternatives and similar repositories for leo
Users that are interested in leo are comparing it to the libraries listed below
Sorting:
- ☆18Updated last year
- Optimism is Ethereum, scaled.☆18Updated last year
- ☆18Updated last year
- Everything required to run your own Base node☆18Updated last year
- ☆16Updated last year
- ☆17Updated last year
- BaseCamp Contracts☆17Updated last year
- ☆17Updated last year
- The Decentralized and Scaled Blockchain☆28Updated last year
- ☆16Updated last year
- ☆35Updated last year
- Collection of batch scripts utilities for Windows☆30Updated last year
- ☆33Updated last year
- ⛽ The Fuel toolchain installer☆31Updated last year
- ☆31Updated last year
- ☆15Updated last year
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 8 years ago
- ☆13Updated 9 years ago
- Check if people follows you back on Instagram.☆34Updated last year
- ☆13Updated last year
- ☆11Updated last year
- Detect real-time threats and events on OP Stack compatible blockchains☆19Updated last year
- NocoBase is a scalability-first, open-source no-code/low-code platform for building business applications and enterprise solutions.☆26Updated last year
- ☆26Updated last year
- Go implementation of the Ethereum protocol☆26Updated last year
- A decentralized, Ethereum-equivalent ZK-Rollup. 🥁☆34Updated last year
- Open source golang based explorer for the eth2 beacon chain☆26Updated last year