cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
AI summary
Programmable language
A Rust-based language for creating provable programs with computational integrity
- stars
- 1.6K
- forks
- 515
- watching
- 19
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Programming language
A language and package for writing provable programs in Python.
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
Programming tutorial
An interactive tutorial to get started with Cairo and Starknet programming
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Programmability library
An implementation of a programming language for writing provable programs in Go.
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
Performance analyzer
A tool for analyzing and optimizing performance of the Cairo programming language and Starknet network.
Blockchain client
A full node implementation for the Starknet blockchain in Rust.
Cairo compiler
Compiles Cairo's intermediate representation to machine code using MLIR and LLVM
Cairo library
A collection of useful algorithms and data structures implemented in Cairo for use in software development.
Smart contract library
A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment.
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
Contract tutorial
A tutorial series on building smart contracts with the Cairo language on StarkNet.
Cairo VM in Zig
An experimental implementation of a Cairo VM in Zig, enabling execution of Cairo programs.
Code auditor
Analyze and report on potential issues in Cairo code for improved security and maintainability.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions cairo.
