Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Oct 3, 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)
Cairo/Starknet smart contract fuzzer
Plotting and logging of real-time data for desktop.
A community-developed re-implementation of the Starkware Stone Prover
A storage system inspired by Besu using Starknet Merkle Trees
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."