zaxioms
View on GitHub ↗active 2023-08-29 → 2024-03-17 (UTC) · 15 repositories
Complete coverage28,347 / 28,347 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-08 (UTC)
Events
53
Pushes
31
Pull requests
4
Issues
1
Reviews
2
Repositories
15
Activity over time
Daily event counts in the loaded window
Line chart, 202 days from 2023-08-29 to 2024-03-17. Pushes: 31 total, peak 8 in a day. Pull requests: 4 total, peak 3 in a day. Issues: 1 total, peak 1 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| zaxioms/zaxioms.github.io | 15 | 15 | 0 | 0 | 0 | 2023-09-22 |
| jonsterling/agda-calf | 15 | 10 | 1 | 0 | 2 | 2023-11-28 |
| zaxioms/ocaml-sat | 2 | 2 | 0 | 0 | 0 | 2023-10-22 |
| vihdzp/miratope-rs | 2 | 0 | 2 | 0 | 0 | 2023-09-01 |
| zaxioms/miratope-rs | 2 | 2 | 0 | 0 | 0 | 2023-09-01 |
| banacorn/agda-mode-vscode | 2 | 0 | 0 | 1 | 1 | 2023-10-25 |
| zaxioms/ocaml_sat | 1 | 1 | 0 | 0 | 0 | 2023-10-22 |
| galoomba1/miratope-rs | 1 | 0 | 1 | 0 | 0 | 2023-09-01 |
| zaxioms/xj9 | 1 | 1 | 0 | 0 | 0 | 2023-08-29 |
| fjolnir/xnomad | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
| xem6/CVE-2022-4262 | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
| HunterHillegas/iOS-BetaBuilder | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
| youzan/zan | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
| cmusphinx/sphinxbase | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
| xem6/CVE-2023-4911 | 0 | 0 | 0 | 0 | 0 | 2024-03-17 |
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 |
|---|---|---|
| HarrisonGrodin | 2 | |
| galoomba1 | 2 | |
| BlueNebulaDev | 1 | |
| CMDJojo | 1 | |
| CSchank | 1 | |
| ChAoSUnItY | 1 | |
| Dante3085 | 1 | |
| EULIR | 1 | |
| Educorreia932 | 1 | |
| Gediminas19 | 1 | |
| GregorPercic | 1 | |
| H-A-M-G-E-R | 1 | |
| Icametoforkprojects23 | 1 | |
| IchiganCS | 1 | |
| L-TChen | 1 | |
| LittleJianCH | 1 | |
| Maylibooyah69 | 1 | |
| MevenBertrand | 1 | |
| Minesh827 | 1 | |
| N10KYA | 1 | |
| P-GLEZ | 1 | |
| Plasmath | 1 | |
| RoswellMiller | 1 | |
| VladimirMarko | 1 | |
| ZoneTwelve | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.