Lists (2)
Stars
Dojo is a toolchain for building provable games and applications
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
Documentation for deploying prod grades Starknet nodes
An Awesome list for resources on algorithmic game theory
Cairo is the first Turing-complete language for creating provable programs for general computation.