AG161
View on GitHub ↗active 2025-02-14 → 2025-05-06 (UTC) · 3 repositories
Partial coverage12,046 / 13,583 hourly files (89%) · 2 absent upstream · 1,533 failed, retryable2025-01-22 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
14
Pushes
1
Pull requests
1
Issues
7
Reviews
0
Repositories
3
Activity over time
Daily event counts in the loaded window
Line chart, 82 days from 2025-02-14 to 2025-05-06. Pushes: 1 total, peak 1 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 7 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
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| stanford-centaur/PyPantograph | 11 | 0 | 0 | 7 | 4 | 2025-05-06 |
| leanprover-community/mathlib4 | 1 | 0 | 1 | 0 | 0 | 2025-02-18 |
| AG161/miniF2F-lean4 | 1 | 1 | 0 | 0 | 0 | 2025-02-27 |
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 |
|---|---|---|
| FlAmmmmING | 2 | |
| Vilin97 | 2 | |
| alok | 2 | |
| slashbade | 2 | |
| 0art0 | 1 | |
| 0xTerencePrime | 1 | |
| 101damnations | 1 | |
| 1a776 | 1 | |
| 2500223210-max | 1 | |
| 8e7 | 1 | |
| A-M-Berns | 1 | |
| ADA-Projects | 1 | |
| ADedecker | 1 | |
| Aaron1011 | 1 | |
| AlbertJ-314 | 1 | |
| AlexKontorovich | 1 | |
| AlexLoitzl | 1 | |
| AlexeyMilovanov | 1 | |
| Antidite | 1 | |
| AntoineChambert-Loir | 1 | |
| Arnav-panjla | 1 | |
| AxelBoldt | 1 | |
| BGuillemet | 1 | |
| BMMilligan1 | 1 | |
| BeibeiX0 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.