Dojo is a toolchain for building provable games and autonomous worlds with Cairo
-
Updated
Aug 27, 2024 - Rust
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Cairo is the first Turing-complete language for creating provable programs for general computation.
Blazing fast toolkit for developing Starknet contracts.
Rust bindings for GNOME libraries
Exemple d'implémentation pour gérer un écan eink, des diodes et un détecteur de mouvement en utilisant le port GPIO du Raspberry Pi. Modèle écran : 7.5inch E-Paper E-Ink Display HAT (B) For Raspberry Pi, 800×480, Red / Black / White, SPI
A collection of lints to catch common mistakes and improve your Cairo code.
hidden widget on screen edges.
hidden widget on screen edges. currently under development.
DEPRECATED in favor of https://github.com/madara-alliance/madara
A storage system inspired by Besu using Starknet Merkle Trees
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Cairo/Starknet smart contract fuzzer
A community-developed re-implementation of the Starkware Stone Prover
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."