active 2025-08-03 → 2025-10-07 (UTC)
Partial coverage11,222 / 11,951 hourly files (94%) · 2 absent upstream · 726 failed, retryable2025-03-30 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
34
Pushes
5
Pull requests
12
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 66 days from 2025-08-03 to 2025-10-07. Pushes: 5 total, peak 3 in a day. Pull requests: 12 total, peak 8 in a day. Issues: 0 total, peak 0 in a day. Comments: 9 total, peak 4 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| MarcIlunga | 17 | 4 | 12 | 1 |
| claude[bot] | 9 | 1 | 0 | 8 |
| joao-krauchenco-mottu | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#9claude[bot]2025-08-12 10:40Complete Interactive Proving Implementation for EasyCrypt
- Pull request#9MarcIlunga2025-08-12 10:40
- Issue comment#8claude[bot]2025-08-04 13:06Implement EasyCrypt execution engine integration (Roadmap 2.1)
- Issue comment#8claude[bot]2025-08-04 12:45Implement EasyCrypt execution engine integration (Roadmap 2.1)
- Issue comment#8MarcIlunga2025-08-04 12:45Implement EasyCrypt execution engine integration (Roadmap 2.1)
- Issue comment#8claude[bot]2025-08-04 11:51Implement EasyCrypt execution engine integration (Roadmap 2.1)
- Pull request#8MarcIlunga2025-08-04 11:51
- Pull request#5MarcIlunga2025-08-04 11:40
- Pull request#7MarcIlunga2025-08-04 11:39
- Issue comment#6claude[bot]2025-08-03 22:15Update EasyCrypt submodule to latest version
- Issue comment#5claude[bot]2025-08-03 22:12Add repository management guidelines to CLAUDE.md
- Pull request#5MarcIlunga2025-08-03 22:11
- Pull request#3MarcIlunga2025-08-03 22:11
- Pull request#4MarcIlunga2025-08-03 22:10
- Issue comment#4claude[bot]2025-08-03 22:09Add git best practices to CLAUDE.md
- Pull request#4MarcIlunga2025-08-03 22:09
- Pull request#3MarcIlunga2025-08-03 22:09
- Pull request#2MarcIlunga2025-08-03 21:35
- Pull request#2MarcIlunga2025-08-03 21:34
- Issue comment#1claude[bot]2025-08-03 21:17Add Claude Code GitHub Workflow
- Pull request#1MarcIlunga2025-08-03 21:17
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.