spapinistarkware's Stars
auditless/awesome-cairo
Resources for Cairo 1.0 development.
ejoffe/spr
Stacked Pull Requests on GitHub
shramee/starklings-cairo1
An interactive tutorial to get you up and running with Cairo v1 and Starknet
starkware-libs/papyrus
Papyrus is a StarkNet full node written in Rust.
filecoin-project/ec-gpu
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
rust-lang/rust-analyzer
A Rust compiler front-end for IDEs
bellissimogiorno/cairo-integer-types
A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite