Lean mathematical components library
active 2023-08-15 → 2024-07-24 (UTC)
Complete coverage27,356 / 27,356 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
828
Pushes
143
Pull requests
98
Issues
6
Stars
152
Forks
15
Activity over time
Daily event counts in the loaded window
Line chart, 345 days from 2023-08-15 to 2024-07-24. Pushes: 143 total, peak 25 in a day. Pull requests: 98 total, peak 11 in a day. Issues: 6 total, peak 1 in a day. Comments: 132 total, peak 14 in a day. Stars: 152 total, peak 5 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 |
|---|---|---|---|---|
| YaelDillies | 133 | 33 | 43 | 54 |
| bors[bot] | 77 | 51 | 8 | 18 |
| eric-wieser | 36 | 11 | 10 | 12 |
| urkud | 24 | 2 | 4 | 13 |
| b-mehta | 23 | 19 | 0 | 1 |
| github-actions[bot] | 11 | 10 | 1 | 0 |
| mathlib-dependent-issues-bot | 10 | 0 | 0 | 10 |
| leanprover-community-bot | 8 | 8 | 0 | 0 |
| erdOne | 7 | 0 | 5 | 2 |
| jcommelin | 6 | 1 | 0 | 3 |
| adomani | 6 | 0 | 6 | 0 |
| BoltonBailey | 5 | 1 | 2 | 2 |
| alreadydone | 5 | 0 | 4 | 1 |
| CBirkbeck | 3 | 0 | 3 | 0 |
| mans0954 | 3 | 1 | 1 | 1 |
| winstonyin | 2 | 0 | 2 | 0 |
| hrmacbeth | 2 | 0 | 1 | 1 |
| Multramate | 2 | 0 | 1 | 1 |
| alexjbest | 2 | 0 | 0 | 2 |
| riccardobrasca | 2 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 152 stars here means stars gained during the window, not the repo's star count.