Cairo is the first Turing-complete language for creating provable programs for general computation.
active 2024-12-23 → 2025-01-04 (UTC)
Partial coverage16,889 / 21,464 hourly files (79%) · 2 absent upstream · 4,574 failed, retryable2024-02-29 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
7
Pushes
4
Pull requests
2
Issues
0
Stars
0
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 13 days from 2024-12-23 to 2025-01-04. Pushes: 4 total, peak 2 in a day. Pull requests: 2 total, peak 2 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Pull request#1Hopium212025-01-04 11:28
- Pull request#1comfsrt2025-01-04 11:25
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.