whsm
View on GitHub ↗active 2024-04-12 → 2024-05-31 (UTC) · 6 repositories
Complete coverage26,505 / 26,505 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-23 (UTC)
Events
23
Pushes
0
Pull requests
0
Issues
15
Reviews
0
Repositories
6
Activity over time
Daily event counts in the loaded window
Line chart, 50 days from 2024-04-12 to 2024-05-31. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 15 total, peak 5 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 |
|---|---|---|---|---|---|---|
| lean-dojo/LeanCopilot | 9 | 0 | 0 | 3 | 6 | 2024-05-27 |
| leanprover/lean4 | 8 | 0 | 0 | 8 | 0 | 2024-05-28 |
| GUDHI/gudhi-devel | 2 | 0 | 0 | 2 | 0 | 2024-04-12 |
| boostorg/boost | 1 | 0 | 0 | 1 | 0 | 2024-04-12 |
| paperswithcode/paperswithcode-client | 1 | 0 | 0 | 1 | 0 | 2024-05-31 |
| whsm/my-blog | 0 | 0 | 0 | 0 | 0 | 2024-05-26 |
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 |
|---|---|---|
| Chocobo1 | 2 | |
| ShreckYe | 2 | |
| alok | 2 | |
| arademaker | 2 | |
| ericluap | 2 | |
| ldct | 2 | |
| realharryhero | 2 | |
| semorrison | 2 | |
| tydeu | 2 | |
| vadimkantorov | 2 | |
| yangky11 | 2 | |
| yurivict | 2 | |
| 007vasy | 1 | |
| 0x450x6c | 1 | |
| 0xFFFC0000 | 1 | |
| 1muhgcmg | 1 | |
| 4e554c4c | 1 | |
| 4phpj5hgk5-png | 1 | |
| 635716742 | 1 | |
| 6AlexMan | 1 | |
| 7sDream | 1 | |
| Aaron1011 | 1 | |
| AdamSobieski | 1 | |
| Adarsh321123 | 1 | |
| Adithya1432 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.