HuanchenNUS
View on GitHub ↗active 2024-01-14 → 2024-11-07 (UTC) · 7 repositories
Complete coverage27,973 / 27,973 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-23 (UTC)
Events
50
Pushes
23
Pull requests
10
Issues
0
Reviews
4
Repositories
7
Activity over time
Daily event counts in the loaded window
Line chart, 299 days from 2024-01-14 to 2024-11-07. Pushes: 23 total, peak 5 in a day. Pull requests: 10 total, peak 4 in a day. Issues: 0 total, peak 0 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 |
|---|---|---|---|---|---|---|
| NUS-Math-Formalization/coxeter | 29 | 17 | 7 | 0 | 1 | 2024-05-06 |
| NUS-Math-Formalization/CalculusSkeleton | 8 | 5 | 3 | 0 | 0 | 2024-11-07 |
| Prowler99/coxeter | 1 | 1 | 0 | 0 | 0 | 2024-05-06 |
| HuanchenNUS/GameSkeleton | 0 | 0 | 0 | 0 | 0 | 2024-08-18 |
| HuanchenNUS/Lean4game | 0 | 0 | 0 | 0 | 0 | 2024-08-18 |
| Trequetrum/lean4game-logic | 0 | 0 | 0 | 0 | 0 | 2024-08-18 |
| leanprover-community/mathlib4 | 0 | 0 | 0 | 0 | 0 | 2024-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 |
|---|---|---|
| clarence-chew | 3 | |
| JQChong | 2 | |
| Prowler99 | 2 | |
| jiajunma | 2 | |
| quizas211 | 2 | |
| slashbade | 2 | |
| Adarsh321123 | 1 | |
| Danielator8 | 1 | |
| DendyLiJunyi | 1 | |
| FXY-NUS | 1 | |
| HaotianLiu123 | 1 | |
| Noaillesss | 1 | |
| PangBoJason | 1 | |
| Thmoas-Guan | 1 | |
| UmbralPotatoes | 1 | |
| XintaoYu | 1 | |
| ampan98 | 1 | |
| efessas | 1 | |
| hcWang942 | 1 | |
| jjdishere | 1 | |
| kun763 | 1 | |
| mathnus | 1 | |
| mbkybky | 1 | |
| riccardobrasca | 1 | |
| saddle196883 | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.