AxiomaticSemantics
View on GitHub ↗active 2023-10-17 → 2024-11-10 (UTC) · 29 repositories
Complete coverage27,361 / 27,361 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
1.3K
Pushes
812
Pull requests
276
Issues
12
Reviews
41
Repositories
29
Activity over time
Daily event counts in the loaded window
Line chart, 391 days from 2023-10-17 to 2024-11-10. Pushes: 812 total, peak 47 in a day. Pull requests: 276 total, peak 38 in a day. Issues: 12 total, peak 4 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 | |
| Braymatter | 3 | |
| DasLixou | 3 | |
| MrGVSV | 3 | |
| Seldom-SE | 3 | |
| TrialDragon | 3 | |
| alice-i-cecile | 3 | |
| benfrankel | 3 | |
| brandon-reinhart | 3 | |
| chescock | 3 | |
| djeedai | 3 | |
| guyguy2001 | 3 | |
| janhohenheim | 3 | |
| mholiv | 3 | |
| mnmaita | 3 | |
| musjj | 3 | |
| mweatherley | 3 | |
| piedoom | 3 | |
| 13ros27 | 2 | |
| 1ace | 2 | |
| 370417 | 2 | |
| Aceeri | 2 | |
| AgustinRamiroDiaz | 2 | |
| AndrewDanial | 2 | |
| AngeloMateus | 2 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.