Description
Turing-complete language for creating provable programs for general computation.
Turing-complete language for creating provable programs for general computation.
2.20.0bin/cairo-compilebin/cairo-formatbin/cairo-language-serverbin/cairo-runbin/cairo-testbin/generate-syntaxbin/sierra-compilebin/starknet-compilebin/starknet-sierra-compilebin/starknet-sierra-extract-codebin/starknet-sierra-upgrade-validateaarch64-darwinaarch64-linuxaarch64-netbsdarmv5tel-linuxarmv6l-linuxarmv6l-netbsdarmv7a-linuxarmv7l-linuxarmv7l-netbsdi686-freebsdi686-linuxi686-netbsdi686-openbsdi686-windowsloongarch64-linuxm68k-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxmipsel-netbsdpowerpc-linuxpowerpc-netbsdpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv32-noneriscv64-linuxriscv64-netbsds390x-linuxwasm32-wasip1x86_64-freebsdx86_64-linuxx86_64-netbsdx86_64-openbsdx86_64-redoxx86_64-solarisx86_64-windows