haan6
View on GitHub ↗active 2024-08-06 → 2025-01-17 (UTC) · 27 repositories
Complete coverage26,738 / 26,738 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-02 (UTC)
Events
123
Pushes
63
Pull requests
0
Issues
10
Reviews
0
Repositories
27
Activity over time
Daily event counts in the loaded window
Line chart, 165 days from 2024-08-06 to 2025-01-17. Pushes: 63 total, peak 9 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 10 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 |
|---|---|---|---|---|---|---|
| snu-sf-class/pp202402 | 41 | 5 | 0 | 10 | 26 | 2024-12-15 |
| haan6/haan6.github.io | 20 | 20 | 0 | 0 | 0 | 2024-12-04 |
| rems-project/linux | 13 | 13 | 0 | 0 | 0 | 2025-01-02 |
| rems-project/casemate | 5 | 5 | 0 | 0 | 0 | 2024-11-12 |
| haan6/nvim | 4 | 4 | 0 | 0 | 0 | 2024-11-02 |
| haan6/iris-tutorial | 4 | 4 | 0 | 0 | 0 | 2024-12-16 |
| snu-sf/promising-coq | 3 | 3 | 0 | 0 | 0 | 2024-10-15 |
| haan6/transit | 2 | 2 | 0 | 0 | 0 | 2024-08-16 |
| haan6/patagonia | 2 | 2 | 0 | 0 | 0 | 2024-08-13 |
| haan6/ssreflect-tutorial | 1 | 1 | 0 | 0 | 0 | 2024-12-11 |
| snu-sf/promising-arm | 1 | 1 | 0 | 0 | 0 | 2024-10-04 |
| haan6/fm-for-online-recommendation | 1 | 1 | 0 | 0 | 0 | 2024-08-13 |
| haan6/lox-coq | 1 | 1 | 0 | 0 | 0 | 2024-08-13 |
| haan6/refinement-tutorial | 1 | 1 | 0 | 0 | 0 | 2024-08-13 |
| CatalaLang/catala | 0 | 0 | 0 | 0 | 0 | 2024-12-04 |
| logsem/iris-tutorial | 0 | 0 | 0 | 0 | 0 | 2024-10-30 |
| haan6/react-tic-tae-toe | 0 | 0 | 0 | 0 | 0 | 2024-09-19 |
| microsoft/BitNet | 0 | 0 | 0 | 0 | 0 | 2024-10-20 |
| whonore/Coqtail | 0 | 0 | 0 | 0 | 0 | 2024-08-29 |
| wez/wezterm | 0 | 0 | 0 | 0 | 0 | 2024-09-05 |
| verus-lang/verus | 0 | 0 | 0 | 0 | 0 | 2024-10-28 |
| EdenEast/nightfox.nvim | 0 | 0 | 0 | 0 | 0 | 2024-11-06 |
| snu-sf/promising-lib | 0 | 0 | 0 | 0 | 0 | 2024-10-04 |
| rems-project/cerberus | 0 | 0 | 0 | 0 | 0 | 2025-01-10 |
| minirust/minirust | 0 | 0 | 0 | 0 | 0 | 2024-10-24 |
| tomtomjhj/coq-lsp.nvim | 0 | 0 | 0 | 0 | 0 | 2024-09-10 |
| model-checking/rust-lean-models | 0 | 0 | 0 | 0 | 0 | 2025-01-17 |
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 |
|---|---|---|
| febyeji | 3 | |
| bensimner | 2 | |
| kmemarian | 2 | |
| opqrs | 2 | |
| pqwy | 2 | |
| Criminal0627 | 1 | |
| Dryeyesyndrome | 1 | |
| GyubinKimProg | 1 | |
| Hyun2023 | 1 | |
| KyungWonCho | 1 | |
| Prown0 | 1 | |
| Thomas-fourier | 1 | |
| Yeonwoo-Nam | 1 | |
| Yoseph-J | 1 | |
| aedaqr | 1 | |
| caelum02 | 1 | |
| choco-bear | 1 | |
| chriswon421 | 1 | |
| coinmoles | 1 | |
| cp526 | 1 | |
| crescmoon | 1 | |
| eteq100 | 1 | |
| gilhur | 1 | |
| gs18113 | 1 | |
| hometogo4ever | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.