Stars
Cairo is the first Turing-complete language for creating provable programs for general computation.
A Rust program for finding salts that create gas-efficient Ethereum addresses via CREATE2.
Modern, opinionated, and gas optimized building blocks for smart contract development.