Description
Turing-complete language for creating provable programs for general computation.
Turing-complete language for creating provable programs for general computation.
2.11.2bin/starknet-compilebin/cairo-language-serverbin/generate-syntaxbin/starknet-sierra-compilebin/cairo-formatbin/sierra-compilebin/starknet-sierra-extract-codebin/cairo-testbin/cairo-compilebin/starknet-sierra-upgrade-validatebin/cairo-runaarch64-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-linuxriscv64-linuxriscv64-netbsds390x-linuxwasm32-wasix86_64-darwinx86_64-freebsdx86_64-linuxx86_64-netbsdx86_64-openbsdx86_64-redoxx86_64-solarisx86_64-windows