starkware-libs/cairo

Cairo is an open‑source, Turing‑complete programming language designed for writing provable, verifiable programs that can be executed and audited on a blockchai