starkware-libs/cairo
Some data may be outdated — see provenance labels.
Cairo is the first Turing-complete language for creating provable programs for general computation. observed · 2026-09-29
Health v2 · maintenance only
98/100
- Activity 97
- Release rhythm 97
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 6.0
- age_days: 1615
- days_rel: 23
- days_push: 22
- n_releases_24m: 59
Adoption not part of the score
1907 stars · 781 forks observed · 2026-09-29
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Cairo is a Turing-complete programming language for writing provable programs, implemented as a compiler toolchain written in Rust. It compiles Cairo code to Sierra and Cairo assembly (casm) and is the primary language for Starknet smart contracts and STARK-provable general computation.
Use cases
- write provable programs with zero-knowledge proofs
- compile cairo to sierra and casm
- develop starknet smart contracts
- run cairo programs locally
- learn a zk-friendly programming language
- generate computational integrity proofs
When to choose
- building on Starknet or STARK-based provable computation
- you need programs whose execution can be verified cryptographically
- you want the official, actively maintained Cairo toolchain
When to avoid
- you need a general-purpose language without proof obligations
- your project targets EVM/Solidity ecosystems
- you need a stable, long-frozen language spec — Cairo is still evolving
Facets
cli-tool · maturity active
compiler programming-language cryptography cli blockchain programming-languages compilers windows rust cli cairo starknet zero-knowledge-proofs zkp stark-proofs sierra casm provable-computation cryptography linux macos
1 source
- readme: https://github.com/starkware-libs/cairo · fetched 2026-09-29 · b15e63f71300
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| starkware-libs/cairo | main | 98 |
For agents
markdown · JSON · MCP: product_card(name="starkware-libs/cairo")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem