starkware-libs/cairo — Cairo is the first Turing-complete language for creating provable programs for general computation.

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