Starknet
Modular stack to build Starknet based scaling engines written in Rust
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
Papyrus is a StarkNet full node written in Rust.
An interactive tutorial to get you up and running with Starknet
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
A Starknet full node written in Rust
A stateless trustless Starknet light client in Rust 🦀
This repo introduces a Boilerplate and examples for Cairo 1.0 smart contracts.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Tool for generating the Starknet JSON-RPC code used in `starknet-rs`
Foundry like framework for starknet contracts