Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Jun 10, 2024 - Rust
Cairo is the first Turing-complete language for creating provable programs for general computation.
Generative Art Marketplace
The repo for Starknet's developer documentation. Includes contribution guidelines and the Starknet documentation supplementary style guide
Mastering Starknet. By the Starknet community
A collection of examples of Cairo smart contracts for Starknet.
基于starknet空投资格,现创建一个世界级项目,用于领取后面项目的空投资格。Based on the starknet air investment qualification, a world-class project is now created to receive the air investment qualification for subsequent projects.
Competitive art canvas on Starknet
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Audited & minimal JS implementation of Starknet cryptography.
Decentralized social built with Nostr and powered by Starknet account abstraction.
A stateless trustless Starknet light client in Rust 🦀
Blazing fast toolkit for developing Starknet contracts.
Add a description, image, and links to the starknet topic page so that developers can more easily learn about it.
To associate your repository with the starknet topic, visit your repo's landing page and select "manage topics."