Cairo is the first Turing-complete language for creating provable programs for general computation.
Archive
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
Cairo is the first Turing-complete language for creating provable programs for general computation.
The Cairo package manager
Code coverage tool for cairo
Blazing fast toolkit for developing Starknet contracts.
nucleic acid folding
An independent Rust rewrite of QuickJS targeting semantic feature parity
ALP floating point compression in Rust
A multithreaded Rust library with FFI for converting WGS84 longitude and latitude coordinates into BNG (OSGB36) Eastings and Northings and vice versa (using OSTN15)
vega-prover: Low-latency client-side ZK proving over signed data
Profiler for Cairo programming language & Starknet