despresc
View on GitHub ↗active 2023-08-27 → 2025-01-14 (UTC) · 8 repositories
Complete coverage26,564 / 26,564 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-25 (UTC)
Events
104
Pushes
27
Pull requests
1
Issues
45
Reviews
0
Repositories
8
Activity over time
Daily event counts in the loaded window
Line chart, 507 days from 2023-08-27 to 2025-01-14. Pushes: 27 total, peak 6 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 45 total, peak 12 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 |
|---|---|---|---|---|---|---|
| despresc/bensalem | 77 | 20 | 0 | 34 | 23 | 2023-09-12 |
| despresc/scriba | 10 | 0 | 0 | 9 | 1 | 2023-08-27 |
| despresc/languagetag | 5 | 5 | 0 | 0 | 0 | 2024-12-01 |
| Gabriella439/Haskell-Pipes-Safe-Library | 3 | 0 | 0 | 1 | 2 | 2024-09-18 |
| leanprover-community/lean4web | 2 | 0 | 1 | 1 | 0 | 2024-10-31 |
| despresc/lean4web | 2 | 2 | 0 | 0 | 0 | 2024-10-31 |
| eclipse-openj9/openj9 | 0 | 0 | 0 | 0 | 0 | 2025-01-14 |
| eclipse-omr/omr | 0 | 0 | 0 | 0 | 0 | 2025-01-14 |
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 |
|---|---|---|
| Bergschaf | 1 | |
| Gabriella439 | 1 | |
| Kha | 1 | |
| PatrickMassot | 1 | |
| RexWzh | 1 | |
| RobertoZunino | 1 | |
| Seasawher | 1 | |
| W95Psp | 1 | |
| abentkamp | 1 | |
| aconite-ac | 1 | |
| anders-was-here | 1 | |
| bollu | 1 | |
| desaxce | 1 | |
| eric-wieser | 1 | |
| erikd | 1 | |
| faenuccio | 1 | |
| frangio | 1 | |
| hargoniX | 1 | |
| j3parker | 1 | |
| jcreedcmu | 1 | |
| joneugster | 1 | |
| jstoobysmith | 1 | |
| k0001 | 1 | |
| kant2002 | 1 | |
| lecopivo | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.