AxiomaticSemantics
View on GitHub ↗active 2023-12-12 → 2024-11-10 (UTC) · 25 repositories
Partial coverage18,252 / 23,370 hourly files (78%) · 2 absent upstream · 5,117 failed, retryable2023-12-12 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
844
Pushes
549
Pull requests
182
Issues
8
Reviews
25
Repositories
25
Activity over time
Daily event counts in the loaded window
Line chart, 335 days from 2023-12-12 to 2024-11-10. Pushes: 549 total, peak 30 in a day. Pull requests: 182 total, peak 22 in a day. Issues: 8 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
Repositories worked on
Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list
Works with
People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone
| Contributor | Shared repos | Repositories in common |
|---|---|---|
| BenjaminBrienen | 3 | |
| MrGVSV | 3 | |
| alice-i-cecile | 3 | |
| janhohenheim | 3 | |
| 13ros27 | 2 | |
| 1ace | 2 | |
| 370417 | 2 | |
| Aceeri | 2 | |
| AndrewDanial | 2 | |
| Atlas16A | 2 | |
| B-Reif | 2 | |
| BD103 | 2 | |
| Based-A | 2 | |
| Bleachfuel | 2 | |
| Bluefinger | 2 | |
| BobG1983 | 2 | |
| Carter0 | 2 | |
| ChristopherBiscardi | 2 | |
| Chubercik | 2 | |
| Copilot | 2 | |
| CorvusPrudens | 2 | |
| DGriffin91 | 2 | |
| DasLixou | 2 | |
| Elabajaba | 2 | |
| ElliottjPierce | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.