Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Jul 3, 2024 - Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
SDK for building cross-platform desktop apps in ANSI-C
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup
Blazing fast toolkit for developing Starknet contracts.
A google app script implementation of the Cairo VM
Light-weight system monitor for X, Wayland (sort of), and other things, too
Simple drawings using vector graphics; Cairo "for tourists!"
Gaphas is the diagramming widget library for Python.
Wather at a glance
Dojo is a toolchain for building provable games and autonomous worlds with Cairo
Decentralized social built with Nostr and powered by Starknet account abstraction.
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."