madara-alliance / madaraView external linksLinks
Madara is a powerful hybrid Starknet client written in Rust.
☆121Updated this week
Alternatives and similar repositories for madara
Users that are interested in madara are comparing it to the libraries listed below
Sorting:
- The Madara orchestrator is designed to be an additional service which runs in parallel to Madara and handles various critical jobs that e…☆11May 24, 2025Updated 8 months ago
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆29Mar 7, 2024Updated last year
- Solidity contracts for the Starknet Decentralized Protocol proposal☆12Apr 24, 2025Updated 9 months ago
- ☆10Apr 27, 2023Updated 2 years ago
- Rust Library for running the Starknet OS via the Cairo VM☆68Jan 20, 2026Updated 3 weeks ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆271Feb 10, 2026Updated last week
- ☆16Jan 10, 2025Updated last year
- ☆64Updated this week
- ☆13Feb 16, 2025Updated last year
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆527Aug 2, 2024Updated last year
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆251Jan 24, 2026Updated 3 weeks ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆264Jan 19, 2026Updated 3 weeks ago
- Celestia -> Starknet bridge☆47May 22, 2024Updated last year
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Aug 7, 2024Updated last year
- Synthetics platform for Starknet, inspired by GMX v2 design.☆113Jul 26, 2024Updated last year
- A EVM block proving backend in Cairo☆87Feb 9, 2026Updated last week
- Cairo STARK proof verifier for Starknet☆75Jan 27, 2026Updated 3 weeks ago
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆277Feb 7, 2026Updated last week
- RPC server and client to run the Stone Prover on the Madara sequencer.☆11Oct 16, 2024Updated last year
- ☆15Nov 8, 2023Updated 2 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated last year
- Satoru keeper service 🦀.☆14Aug 9, 2024Updated last year
- ☆476Updated this week
- ☆29Oct 8, 2024Updated last year
- Competitive art canvas on Starknet☆37Sep 2, 2025Updated 5 months ago
- Bitcoin ZK client written in Cairo.☆113Dec 1, 2025Updated 2 months ago
- Madara Desktop Application☆21Nov 2, 2023Updated 2 years ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆133Jan 8, 2025Updated last year
- Blazing fast tool to benchmark Starknet sequencers 🦀☆25Oct 27, 2024Updated last year
- Pragma, the first provable oracle.☆38Feb 8, 2026Updated last week
- Smart contracts, tools, and skills for AI agents that transact on Starknet☆57Updated this week
- Dojo is a toolchain for building provable games and applications☆479Feb 10, 2026Updated last week
- ☆267Sep 16, 2024Updated last year
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 7 months ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Feb 9, 2026Updated last week
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Code coverage tool for cairo☆22Updated this week
- A toolkit for DAO-like governance on Starknet☆30Feb 11, 2025Updated last year
- Infrastructure related stuff for Madara.☆16Sep 26, 2023Updated 2 years ago