Resources for Cairo 1.0 development.
☆168Feb 6, 2025Updated last year
Alternatives and similar repositories for awesome-cairo
Users that are interested in awesome-cairo 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 minimal template for building smart contracts with Cairo 1.0☆87Jun 1, 2023Updated 3 years ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆264Mar 5, 2026Updated 7 months ago
- An interactive tutorial to get you up and running with Cairo v1 and Starknet☆471Aug 8, 2026Updated 2 months ago
- The Cairo package manager☆223Updated this week
- Dojo is a toolchain for building provable games and applications☆478May 6, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Rust implementation of Starknet execution logic☆168Jul 22, 2024Updated 2 years ago
- This repo introduces a Boilerplate and examples for Cairo 1.0 smart contracts.☆14Feb 22, 2023Updated 3 years ago
- CLI tool to develop Starknet projects written in Cairo☆55Nov 30, 2023Updated 2 years ago
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated last year
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆276Aug 31, 2026Updated 2 months ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆43Sep 12, 2023Updated 3 years ago
- Static Analyzer for Starknet smart contracts☆148Jan 25, 2024Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆162Jan 11, 2025Updated last year
- Tool to install Cairo 1.0 with a single command☆15Apr 1, 2023Updated 3 years ago
- 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.
- Blazing fast toolkit for developing Starknet contracts.☆393Updated this week
- ☆41Jul 16, 2026Updated 3 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆132Jan 8, 2025Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- STARK 101 Workshop in Rust 🐺🦀☆145Apr 28, 2023Updated 3 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆382Nov 19, 2024Updated last year
- Protostar is a toolchain for developing and testing Starknet contracts☆247Jul 19, 2023Updated 3 years ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆76Oct 2, 2023Updated 3 years ago
- A comprehensive library for Cairo 🐺☆39Jan 27, 2026Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Caironet is a simple test runner to test starknet contracts with mocked addresses☆12Jul 1, 2023Updated 3 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆135Updated this week
- cairo-by-example.com☆37May 6, 2025Updated last year
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Nov 14, 2022Updated 3 years ago
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup☆908Updated this week
- Exploratory work on abigen in rust for Starknet 🦀☆15Dec 17, 2023Updated 2 years ago
- Complete Starknet library in Rust™☆312Nov 9, 2025Updated 11 months ago
- A collection of works discussing the security aspects of StarkNet☆40Dec 29, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Multi-signature functionality for StarkNet☆91Apr 29, 2026Updated 6 months ago
- ☆10Jan 29, 2023Updated 3 years ago
- ☆18Nov 1, 2023Updated 3 years ago
- Cairo is the first Turing-complete language for creating provable programs for general computation.☆1,915Updated this week
- A self custodial embedded account to seamlessly play onchain games☆80Sep 8, 2026Updated last month
- ☆43Apr 4, 2023Updated 3 years ago
- Sets up Scarb in your GitHub Actions workflow.☆19Mar 18, 2026Updated 7 months ago