Cairo is the first Turing-complete language for creating provable programs for general computation.

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

A Starknet full node written in Rust

DEPRECATED in favor of https://github.com/madara-alliance/madara

Blazing fast toolkit for developing Starknet contracts.

Complete Starknet library in Rust™

A stateless trustless Starknet light client in Rust 🦀

The Cairo package manager

Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.

Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀

A Rust implementation of Starknet execution logic

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Cairo/Starknet smart contract fuzzer

A local testnet for Starknet... in Rust

A minimal template for building smart contracts with Cairo 1.0

A toy Cairo VM implementation in Rust™

A storage system inspired by Besu using Starknet Merkle Trees

CLI tool to develop Starknet projects written in Cairo

A library to generate bindings from Cairo ABI.

A collection of lints to catch common mistakes and improve your Cairo code.