Stars
Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
ESP32/ESP8285-based High-Performance Radio Link for RC applications
Adapt your STARK stone proofs for verifications on Ethereum
Blazing fast toolkit for developing Starknet contracts.
Public reports of audits performed by Nethermind Security
ArgentX browser extension for StarkNet - made with ❤️ by Argent
Smart Contracts for Argent Wallet
A stateless trustless Starknet light client in Rust 🦀
Utility for generating SRC5 interfaces ids from Cairo traits
A local testnet for Starknet
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Argent accounts for Starknet
🎄 My Advent of Code solutions in Rust. http://adventofcode.com/2022
Ensures that all commits are following the conventional-commits standard.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A collection of React providers and hooks for StarkNet
Amarna is a static-analyzer and linter for the Cairo programming language.
Learn how to build StarkNet <-> Ethereum cross layer applications
OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup