Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Aug 26, 2024 - Rust
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
DEPRECATED in favor of https://github.com/madara-alliance/madara
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Blazing fast toolkit for developing Starknet contracts.
Rust bindings for GNOME libraries
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
A storage system inspired by Besu using Starknet Merkle Trees
A collection of lints to catch common mistakes and improve your Cairo code.
Plotting and logging of real-time data for desktop.
Cairo/Starknet smart contract fuzzer
A community-developed re-implementation of the Starkware Stone Prover
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
Add a description, image, and links to the cairo topic page so that developers can more easily learn about it.
To associate your repository with the cairo topic, visit your repo's landing page and select "manage topics."