Block or Report
Block or report gaetbout
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
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
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:https://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
Bunch of cairo vs code snippets to make smart-contract development easier
A link simulator for the first networking project (LINGI1341)