starkware-libs/cairo
Cairo is a Turing-complete language for creating provable programs for general computation.
Rust
AI Coding Tools
Apache-2.0
1.9K
Stars
738
Forks
May 19, 2022
Created
Mar 5, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+6
+0.3% change
Avg Daily Growth (1 Month)
+0.2
stars per day
Fork/Star Ratio (All Time)
39.4%
High engagement
Lifetime Growth
1.3
stars/day over 1.4K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
zero-knowledge-proofs
provable-programming
general-computation
turing-complete
cairo-language
Similar Projects
codecrafters-io/build-your-own-x
Build your own x by recreating favorite technologies from scratch
472.5K
Markdown
sindresorhus/awesome
Awesome list for vibe coders
442.8K
freeCodeCamp/freeCodeCamp
FreeCodeCamp's open-source codebase and curriculum for learning programming, math, and computer science.
437.8K
TypeScript
kamranahmedse/developer-roadmap
Interactive developer roadmap with AI-focused tools and resources
350.2K
TypeScript
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.