cairo-lang

A curated list of awesome StarkNet resources, libraries, tools and more

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Mastering Starknet. By the Starknet community

Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

Learn how to read Cairo code

Blazing fast toolkit for developing Starknet contracts.

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Protostar is a toolchain for developing and testing Starknet contracts

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Resources for Cairo 1.0 development.

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

A collection of examples of Cairo smart contracts for Starknet.

学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.

Kakarot zkEVM - rewrite in the latest version of Cairo

Cairo/Starknet smart contract fuzzer

Learn how to deploy and customize an ERC721 token on StarkNet

onchain eternal game