Owner · starkware-libs
starkware-libs
starkware-libs's tracked open-source repos, sorted by stars.
4 repos
- #1
Cairo is the first Turing-complete language for creating provable programs for general computation.
★ 1,904+2Star change over the last 7 days - #2★ 1,369+0Star change over the last 7 days
- #3
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 that a certain computation was executed correctly without the need for this party to re-execute the same program.
★ 586+1Star change over the last 7 days - #4★ 502+1Star change over the last 7 days
