lexicon179 / leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆18Updated 3 months ago
Related projects: ⓘ
- ☆18Updated 4 months ago
- Optimism is Ethereum, scaled.☆18Updated 4 months ago
- ☆16Updated 3 months ago
- BaseCamp Contracts☆17Updated 4 months ago
- ☆17Updated 4 months ago
- Collection of batch scripts utilities for Windows☆30Updated 4 months ago
- Everything required to run your own Base node☆18Updated 4 months ago
- ☆16Updated 4 months ago
- ☆18Updated 4 months ago
- ☆10Updated 3 months ago
- A decentralized, Ethereum-equivalent ZK-Rollup. 🥁☆34Updated last year
- ☆19Updated 4 months ago
- Wagmi hooks for OP stack chains☆19Updated 5 months ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆18Updated 7 months ago
- A starter for using https://frame.syndicate.io/ with Farcaster Frames☆17Updated 7 months ago
- ☆17Updated last year
- The Decentralized and Scaled Blockchain☆28Updated last year
- ☆17Updated 4 months ago
- ☆10Updated 3 months ago
- ⛽ The Fuel toolchain installer☆31Updated 4 months ago
- next test☆19Updated 2 years ago
- Detect real-time threats and events on OP Stack compatible blockchains☆19Updated 5 months ago
- ☆15Updated 4 months ago
- ☆11Updated 3 months ago
- NocoBase is a scalability-first, open-source no-code/low-code platform for building business applications and enterprise solutions.☆26Updated 3 months ago
- ☆14Updated last year
- ☆19Updated 7 months ago
- Python SDK for liquidswap☆19Updated last year
- ☆13Updated 7 years ago
- ☆13Updated 8 years ago