ericrbg
View on GitHub ↗active 2023-08-18 → 2025-03-17 (UTC) · 17 repositories
Complete coverage28,438 / 28,438 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-11 (UTC)
Events
623
Pushes
112
Pull requests
50
Issues
14
Reviews
124
Repositories
17
Activity over time
Daily event counts in the loaded window
Line chart, 578 days from 2023-08-18 to 2025-03-17. Pushes: 112 total, peak 12 in a day. Pull requests: 50 total, peak 16 in a day. Issues: 14 total, peak 3 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 |
|---|---|---|---|---|---|---|
| leanprover-community/mathlib4 | 465 | 92 | 20 | 4 | 225 | 2025-02-01 |
| ericrbg/my_repo | 61 | 14 | 22 | 0 | 25 | 2024-01-10 |
| leanprover/lean4 | 14 | 0 | 2 | 4 | 8 | 2023-12-23 |
| Shreyas4991/loogle-lean | 7 | 0 | 2 | 0 | 5 | 2023-12-01 |
| leanprover-community/mathlib4-test | 6 | 2 | 3 | 0 | 1 | 2024-01-08 |
| leanprover-community/flt-regular | 5 | 2 | 0 | 0 | 3 | 2024-04-10 |
| nomeata/loogle | 3 | 0 | 0 | 1 | 2 | 2023-12-21 |
| leanprover/std4 | 3 | 0 | 0 | 2 | 1 | 2024-01-04 |
| bitwarden/clients | 2 | 0 | 0 | 0 | 2 | 2023-10-05 |
| ericrbg/loogle-lean | 1 | 1 | 0 | 0 | 0 | 2023-11-29 |
| ericrbg/lean4 | 1 | 1 | 0 | 0 | 0 | 2023-10-27 |
| leanprover-community/quote4 | 1 | 0 | 0 | 1 | 0 | 2024-02-07 |
| mdn/content | 1 | 0 | 0 | 1 | 0 | 2023-09-11 |
| toothbrush/debounce-mac | 1 | 0 | 0 | 1 | 0 | 2025-03-17 |
| leanprover/doc-gen4 | 1 | 0 | 0 | 0 | 1 | 2023-12-06 |
| YaelDillies/LeanCamCombi | 1 | 0 | 1 | 0 | 0 | 2024-11-04 |
| typst/typst | 0 | 0 | 0 | 0 | 0 | 2023-08-23 |
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 |
|---|---|---|
| alexjbest | 7 | |
| eric-wieser | 7 | |
| madvorak | 6 | |
| semorrison | 6 | |
| Ruben-VandeVelde | 5 | |
| Seasawher | 5 | |
| TwoFX | 5 | |
| Vtec234 | 5 | |
| YaelDillies | 5 | |
| b-mehta | 5 | |
| bryangingechen | 5 | |
| digama0 | 5 | |
| dwrensha | 5 | |
| fpvandoorn | 5 | |
| jcommelin | 5 | |
| kim-em | 5 | |
| kmill | 5 | |
| nomeata | 5 | |
| BoltonBailey | 4 | |
| Garmelon | 4 | |
| JovanGerb | 4 | |
| Kha | 4 | |
| Komyyy | 4 | |
| Shreyas4991 | 4 | |
| Vierkantor | 4 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.