Mathematical terms, definitions, and propositions in as many languages as possible
active 2024-01-25 → 2025-03-09 (UTC)
Complete coverage28,466 / 28,466 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-13 (UTC)
Events
292
Pushes
275
Pull requests
1
Issues
3
Stars
6
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 410 days from 2024-01-25 to 2025-03-09. Pushes: 275 total, peak 9 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 3 total, peak 2 in a day. Comments: 4 total, peak 2 in a day. Stars: 6 total, peak 1 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 |
|---|---|---|---|---|
| aarneranta | 278 | 275 | 1 | 2 |
| pkshashank | 5 | 0 | 0 | 2 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 6 stars here means stars gained during the window, not the repo's star count.