A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
active 2024-04-29 → 2024-08-23 (UTC)
Complete coverage28,194 / 28,194 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-01 (UTC)
Events
605
Pushes
127
Pull requests
50
Issues
12
Stars
16
Forks
6
Activity over time
Daily event counts in the loaded window
Line chart, 117 days from 2024-04-29 to 2024-08-23. Pushes: 127 total, peak 13 in a day. Pull requests: 50 total, peak 6 in a day. Issues: 12 total, peak 3 in a day. Comments: 247 total, peak 40 in a day. Stars: 16 total, peak 3 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 |
|---|---|---|---|---|
| thomas-lamiaux | 239 | 89 | 25 | 84 |
| Villetaneuse | 93 | 5 | 16 | 45 |
| Zimmi48 | 74 | 33 | 6 | 24 |
| MevenBertrand | 51 | 0 | 0 | 40 |
| SkySkimmer | 30 | 0 | 0 | 16 |
| MSoegtropIMC | 14 | 0 | 0 | 5 |
| lephe | 14 | 0 | 1 | 9 |
| jfehrle | 11 | 0 | 0 | 6 |
| proux01 | 10 | 0 | 0 | 8 |
| Vanille-N | 6 | 0 | 0 | 3 |
| terencode | 4 | 0 | 0 | 2 |
| herbelin | 3 | 0 | 0 | 1 |
| grianneau | 2 | 0 | 1 | 1 |
| Lysxia | 2 | 0 | 0 | 1 |
| palmskog | 2 | 0 | 0 | 2 |
| CohenCyril | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 16 stars here means stars gained during the window, not the repo's star count.