Modular stack to build Starknet based scaling engines written in Rust
β521Nov 1, 2026Updated this week
Alternatives and similar repositories for madara
Users that are interested in madara are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A stateless trustless Starknet light client in Rust π¦β264Apr 4, 2026Updated 6 months ago
- Synthetics platform for Starknet, inspired by GMX v2 design.β113Jul 26, 2024Updated 2 years ago
- Dojo is a toolchain for building provable games and applicationsβ478May 6, 2026Updated 5 months ago
- Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.β999Jan 9, 2025Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β169May 15, 2025Updated last year
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- β269Sep 16, 2024Updated 2 years ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β264Mar 5, 2026Updated 7 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β258Oct 18, 2026Updated 2 weeks ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β135Oct 27, 2026Updated last week
- β‘ Cairo VM in Zig β‘β88Aug 20, 2024Updated 2 years ago
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.β276Aug 31, 2026Updated 2 months ago
- Complete Starknet library in Rustβ’β312Nov 9, 2025Updated 11 months ago
- Tsubasa onchain game built with Dojo, running on a Starknet Appchain.β63Nov 27, 2023Updated 2 years ago
- The Cairo package managerβ223Updated this week
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Starknet sequencer built with Tendermint Coreβ52Apr 3, 2023Updated 3 years ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writinβ¦β588Sep 30, 2026Updated last month
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β162Jan 11, 2025Updated last year
- A Rust implementation of Starknet execution logicβ168Jul 22, 2024Updated 2 years ago
- An interactive tutorial to get you up and running with Cairo v1 and Starknetβ471Aug 8, 2026Updated 2 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairoβ132Jan 8, 2025Updated last year
- Stark Compass: the only open source explorerβ68Oct 4, 2024Updated 2 years ago
- A minimal template for building smart contracts with Cairo 1.0β87Jun 1, 2023Updated 3 years ago
- Blazing fast tool to benchmark Starknet sequencers π¦β25Oct 27, 2024Updated 2 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.
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β188Aug 10, 2025Updated last year
- Madara is a powerful hybrid Starknet client written in Rust.β124Oct 28, 2026Updated last week
- Cairo is the first Turing-complete language for creating provable programs for general computation.β1,918Updated this week
- Deoxys π½ is a Starknet full node based on substrate and powered by Rust π¦β29Mar 7, 2024Updated 2 years ago
- Blazing fast toolkit for developing Starknet contracts.β393Updated this week
- Cairo STARK proof verifier for Starknetβ75Jan 27, 2026Updated 9 months ago
- Celestia -> Starknet bridgeβ47May 22, 2024Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VMβ72Oct 12, 2026Updated 3 weeks ago
- Papyrus is a StarkNet full node written in Rust.β322Dec 26, 2024Updated last year
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A library to generate bindings from Cairo ABI.β52Feb 17, 2026Updated 8 months ago
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual componentsβ¦β738Aug 14, 2026Updated 2 months ago
- StarkWare's next gen proverβ505Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β76Oct 2, 2023Updated 3 years ago
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARKβ175Mar 3, 2025Updated last year
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollupβ908Updated this week
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Mar 24, 2023Updated 3 years ago