starkware-libs/cairo

cairo

✅ Recently maintained

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

1,917Stars
793Forks
+37-day stars

Rust · Apache-2.0 · Last push 2026-11-02

Official repository & installation ↗
starknetzero-knowledge-proofszkpcomputational-integritycairo

Star history

2025-09-292026-11-02
View historical data
DateStars
2026-10-041,908
2026-10-051,908
2026-10-061,908
2026-10-071,908
2026-10-081,910
2026-10-091,910
2026-10-101,910
2026-10-111,910
2026-10-121,911
2026-10-131,912
2026-10-141,912
2026-10-151,912
2026-10-161,912
2026-10-171,912
2026-10-181,912
2026-10-191,912
2026-10-201,912
2026-10-211,912
2026-10-221,912
2026-10-231,913
2026-10-241,913
2026-10-251,913
2026-10-261,914
2026-10-271,914
2026-10-281,915
2026-10-291,915
2026-10-301,915
2026-10-311,915
2026-11-011,915
2026-11-021,917

Get the project

git clone https://github.com/starkware-libs/cairo.git

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.

public-apis

A community-maintained list of free APIs organized by category for developers.

★ 495,480freeCodeCamp

Open-source curriculum and codebase for learning math, programming, and computer science for free.

★ 458,449system-design-primer

A guide to designing large-scale systems, with Anki flashcards for system design interview prep.

★ 376,563