software-mansion-labs / cairo Goto Github PK
View Code? Open in Web Editor NEWThis project forked from starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
License: Apache License 2.0