starkware-libs

    starkware-libs/cairo

    Cairo is the first Turing-complete language for creating provable programs for general computation.

    backend
    cairo
    computational-integrity
    starknet
    zero-knowledge-proofs
    zkp
    Rust
    Apache-2.0
    1.9K stars
    793 forks
    1.9K GitHub watchers
    Updated Nov 2, 2026
    View on GitHub

    Build with Backblaze B2

    SDKs, agent skills, IDE extensions, and reference pipelines from Backblaze Labs. All open source.

    Explore Backblaze Labs

    Loading star history...

    Where it stands

    Rank, growth pace and release cadence relative to everything GStars tracks.

    4 releases in the last 90 days, the latest 24 days ago, with 381 contributors on GitHub.

    Use Cases & Benefits

    • Provides a Turing-complete language and compiler for creating provable programs enabling general computation with computational integrity.
    • Delivers a blazing fast Rust-based compiler optimized for zero-knowledge proof systems and Starknet smart contract development.
    • Use for building provable, verifiable computations in zero-knowledge proof applications requiring strong cryptographic guarantees.
    • Use for compiling and deploying Starknet smart contracts with support for Sierra and CASM intermediate representations.
    • Use for researchers and developers experimenting with Turing-complete languages in blockchain and cryptographic proof systems.

    Should you depend on it?

    License terms, project hygiene and risks, from GitHub metadata and GStars' snapshots.

    License

    Apache 2.0

    Permissive: commercial use, modification and redistribution are allowed with attribution; includes an explicit patent grant from contributors.

    Community files

    • README: present
    • Contributing guide: present
    • Code of conduct: present

    Watch-outs

    No watch-outs from GStars' checks.

    General guidance from repository metadata, not legal advice. How we score

    From the README

    Cairo is the first Turing-complete language for creating provable programs for general computation.

    Excerpt from the starkware-libs/cairo README on GitHub (Apache-2.0 license). © its authors.Read the full README on GitHub

    Daily snapshots

    Stars gained per day, and how forks and open issues moved, from GStars' daily snapshots

    Forks

    793+27

    Open issues

    217+6

    Compared with peers in Backend

    Fastest-growing repositories GStars tracks in this cohort for the week of Nov 1, by 7-day star growth

    starkware-libs/cairo compared with Backend repositories by stars, 7-day star growth, health score and last release
    RepositoryStars+7dHealthLast release
    anthropics/skills187.8K+2.9K15—
    DuarteSantos8/openGym19.7K+2.4K602 days ago
    shiyu-coder/Kronos47.0K+2.3K16—
    NationalSecurityAgency/ghidra98.2K+2.3K6414 days ago
    microsoft/VibeVoice56.0K+1.1K29—
    starkware-libs/cairo1.9K—6424 days ago
    Category median56.0K+2.3K29—

    Discover Repositories

    Search across tracked repositories by name or description