Built something? We create video reels & spotlights for GitHub projects.Promote your project →
starkware-libs
Home / Rust / cairo

starkware-libs/cairo

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

Rust ◇ cairo Apache-2.0
★1.9KSTARS
⑂783FORKS
!218ISSUES
🏆#2,952GLOBAL RANK
🔥2DAYS TRENDING
🚀
Maintainer Growth Kit for cairo

Claim this project, add your verified backlink badge to your README, and download milestone cards.

Claim Repo

Star History

Continuous Observations
Interactive star growth chart for starkware-libs/cairo
CSV
⭐ VIRAL README KIT

Add Live Star History & Verified Badges to README.md

Keep your repository README looking professional and dynamic. As our continuous crawler records new stars, these official SVG badges update in real time with zero maintenance.

Open README on GitHub ↗
Option 1: Interactive Star History Chart Dynamic SVG

Renders your high-resolution star trajectory chart right inside your GitHub README or project docs.

starkware-libs/cairo Star History Preview
markdown
[![Star History Chart](https://githubrepo.cloud/api/badge/chart/starkware-libs/cairo.svg?theme=dark)](https://githubrepo.cloud/repo/starkware-libs/cairo?utm_source=readme_chart)
Direct SVG Link ↗
Option 2: Verified Shields Badges Shields.io Style

Compact Shields-style badges for your README header. Shows real-time stars and global ranking.

Featured badge Stars badge Rank badge
markdown (badge trio)
[![Featured on GitHubRepo.cloud](https://githubrepo.cloud/badge/starkware-libs/cairo.svg?metric=featured)](https://githubrepo.cloud/repo/starkware-libs/cairo?utm_source=readme_badge) [![GitHubRepo Stars](https://githubrepo.cloud/badge/starkware-libs/cairo.svg?metric=stars)](https://githubrepo.cloud/repo/starkware-libs/cairo?utm_source=readme_badge) [![Global Rank](https://githubrepo.cloud/badge/starkware-libs/cairo.svg?metric=rank)](https://githubrepo.cloud/repo/starkware-libs/cairo?utm_source=readme_badge)

Momentum

+48

STARS · LAST 30 DAYS

2

PER DAY

#294

MOST-STARRED Rust

Window7 days30 days90 days
Stars gained+14+48+180
Per day222
Forks gained+4+16+39

cairo gained 48 stars in the last 30 days, about 2 a day, and now has 1.9K. It is about 4 years old and has averaged roughly 477 stars a year. It ranks #294 among Rust repositories and #2,952 across all languages on GitHubRepo.

Trending Record

cairo has maintained a continuous presence across global trending indexes, peaking at #3857. Below is the 30-day activity profile:

💡 Overview

cairo is an open-source project written in Rust: Cairo is the first Turing-complete language for creating provable programs for general computation.

Engineered for speed, consistency, and developer ease, it solves common hurdles in cairo, computational-integrity, starknet. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.

⚡ Key Features

1

Optimized execution pipeline written in Rust for predictable speed.

2

Zero-friction configuration with comprehensive sensible defaults out of the box.

3

Cross-platform runtime support across Linux, macOS, and Windows environments.

4

Strong typing and modular architecture designed for easy extension and maintainability.

5

Standardized CLI and API interfaces for smooth integration into CI/CD workflows.

6

Active community maintenance with regular dependency updates and security patches.

📥 Installation

terminal
$ cargo install cairo

⚙ System Requirements

Platforms

  • • macOS
  • • Linux
  • • Windows

Runtime & Dependencies

Rust toolchain (rustc / cargo >= 1.70)

Architecture

x86_64, ARM64 (Apple Silicon & Graviton)

🧠 How It Works

cairo coordinates its core functionality through a modular Rust pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.

🎯 Production Use Cases

Autonomous AI Agents

Orchestrate intelligent workflows and tool-calling routines with cairo.

Model Inference & Prompting

Integrate fast, local or cloud-hosted generative AI models directly into production code.

Context Memory & RAG

Augment language models with dynamic vector retrieval and structured project memory.

Developer Productivity

Automate repetitive engineering tasks, code generation, and test creation using AI agents.

🚀 Getting Started

1

Install cairo using your package manager: `cargo install cairo`

2

Initialize your project workspace or configuration file for cairo.

3

Import cairo into your codebase or invoke it directly from your terminal.

4

Execute your test suite or run `cairo --help` to verify successful setup.

👍 Strengths

Active community backing with 1,907 GitHub stars and verified adoption.
Permissive open-source distribution under the Apache-2.0 license.
Built in Rust for high execution speed and developer familiarity.
Cross-platform compatibility across modern Linux, macOS, and Windows environments.
Clean modular design allowing flexible configuration and pipeline integration.

⚠️ Considerations

Requires familiarity with Rust and modern CLI workflows.
Ecosystem extensions may require manual configuration depending on environment constraints.
Active development roadmap means breaking API changes may occur across major versions.

⇄ Alternatives & Direct Competitors

C
ultraworkers/claw-code ★ 195.3K Rust

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Compare ↗
C

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

Compare ↗
C
farion1231/cc-switch ★ 139.4K Rust

A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io

Compare ↗
C
openai/codex ★ 127.6K Rust

Lightweight coding agent that runs in your terminal

Compare ↗

👥 Who Should Use This

Developers and engineering teams building with Rust, seeking reliable, tested, and actively maintained tooling for production workloads.

🏆 Nearby in the Rankings

starkware-libs/cairo is currently ranked #2,952 by stars across every repository tracked on GitHubRepo. These are adjacent projects:

RankRepositoryLanguageStarsAction
#2,946 Automattic/simplenote-android Java ★ 1.9K Compare ↗
#2,946 selenide/selenide Java ★ 1.9K Compare ↗
#2,946 ROCm/FastFlowLM C++ ★ 1.9K Compare ↗
#2,950 featbit/featbit C# ★ 1.9K Compare ↗
#2,950 FGRibreau/mailchecker PHP ★ 1.9K Compare ↗
#2,952 starkware-libs/cairo This Project Rust ★ 1.9K
#2,952 maennchen/ZipStream-PHP PHP ★ 1.9K Compare ↗
#2,954 p1neappleXpress/OpenFlux Go ★ 1.9K Compare ↗
#2,954 rakudo/rakudo Raku ★ 1.9K Compare ↗
#2,956 mikependon/RepoDB C# ★ 1.9K Compare ↗
#2,957 wuwentao/midea_ac_lan Python ★ 1.9K Compare ↗

Frequently Asked Questions

What does cairo do? +

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

What language is cairo written in? +

The primary language is Rust. Topics include: cairo, computational-integrity, starknet, zero-knowledge-proofs, zkp.

Is cairo actively maintained? +

Yes, the last recorded push was on Oct 2, 2026 with 218 open issues being tracked.

How many stars does cairo have? +

cairo has 1,907 stars and 783 forks on GitHub.

How does cairo rank among GitHub repositories? +

With 1,907 stars, starkware-libs/cairo is ranked #2,952 globally across all repositories tracked on GitHubRepo and #294 among Rust projects.

What license is cairo distributed under? +

The repository reports a Apache-2.0 license. Always verify the repository LICENSE file for legal terms.

From our network
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.