a utility to quickly spin up a localnet of lean (multi-client) nodes
☆15Jul 21, 2026Updated 3 months ago
Alternatives and similar repositories for lean-quickstart
Users that are interested in lean-quickstart are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean Ethereum protocol specifications and test vector generation framework.☆144Sep 2, 2026Updated last month
- Rust implementation of the current leanSig proposal.☆49Apr 29, 2026Updated 6 months ago
- Ethereum Lean client in Zig (wip)☆96Jul 23, 2026Updated 3 months ago
- ☆15Aug 6, 2026Updated 2 months ago
- ☆27Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆19Sep 12, 2026Updated last month
- A Zig implementation of Poseidon2 hash function.☆19Nov 11, 2025Updated 11 months ago
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 3 weeks ago
- A stateless Ethereum execution client☆34Feb 13, 2026Updated 8 months ago
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- ☆18Updated this week
- A ziglang implementation of the SSZ serialization protocol☆34Oct 5, 2026Updated 3 weeks ago
- Minimal zkVM for Ethereum.☆175Updated this week
- ream: an Ethereum Lean client written in Rust☆148Sep 23, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Starknet privacy protocol☆32Oct 22, 2026Updated last week
- ☆12Jun 5, 2025Updated last year
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 6 months ago
- Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.☆26Jul 29, 2026Updated 2 months ago
- ☆31Oct 12, 2026Updated 2 weeks ago
- Solidity implementation of the Renegade darkpool☆13Mar 26, 2026Updated 7 months ago
- Lattice zkVM (post-quantum zkVM)☆39Updated this week
- Systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and prove…☆16Updated this week
- Convert your Felt into a String☆11Jul 14, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Bitcoin light client implementation for Near Protocol☆16Updated this week
- Non-custodial multisig wallet solution on the Aptos blockchain☆12Oct 8, 2026Updated 3 weeks ago
- Private Attestations for Mina wallets☆16Oct 16, 2026Updated last week
- Hello!☆26May 4, 2024Updated 2 years ago
- Configuration data for the Ethereum Mainnet☆15Oct 12, 2026Updated 2 weeks ago
- 🤖📝 CLI tool using LLMs to apply a change to a list of files while considering the context of each file.☆11Nov 28, 2024Updated last year
- the c4 monorepo☆33Oct 19, 2026Updated last week
- Implementation experiments as part of the design process of Starstream VM☆48Updated this week
- ☆14Jul 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GPT-2 port to C#☆11Sep 27, 2022Updated 4 years ago
- Todos los ejemplos de código de la materia Técnicas de Programación Concurrente☆17Apr 28, 2026Updated 6 months ago
- ☆12Sep 19, 2022Updated 4 years ago
- A parallel proving service for ZKM.☆22Oct 5, 2026Updated 3 weeks ago
- ☆28Jun 3, 2026Updated 4 months ago
- Gean is an Ethereum lean consensus client written in Go (wip)☆44Jan 13, 2026Updated 9 months ago
- StealthNote is an application for people in an organization to anonymously broadcast messages.☆55Jun 19, 2025Updated last year