whangdo
View on GitHub ↗active 2024-07-05 → 2024-08-13 (UTC) · 19 repositories
Complete coverage26,555 / 26,555 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-25 (UTC)
Events
23
Pushes
2
Pull requests
0
Issues
0
Reviews
0
Repositories
19
Activity over time
Daily event counts in the loaded window
Line chart, 40 days from 2024-07-05 to 2024-08-13. Pushes: 2 total, peak 1 in a day. Pull requests: 0 total, peak 0 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 |
|---|---|---|---|---|---|---|
| kupl/kupl.github.io | 2 | 2 | 0 | 0 | 0 | 2024-08-13 |
| Artisan-Lab/SMTimer | 0 | 0 | 0 | 0 | 0 | 2024-07-23 |
| CGCL-codes/HistFuzz | 0 | 0 | 0 | 0 | 0 | 2024-07-23 |
| Z3Prover/z3 | 0 | 0 | 0 | 0 | 0 | 2024-08-06 |
| ahealy19/where4 | 0 | 0 | 0 | 0 | 0 | 2024-08-12 |
| testsmt/janus | 0 | 0 | 0 | 0 | 0 | 2024-07-30 |
| avigad/lamr | 0 | 0 | 0 | 0 | 0 | 2024-07-28 |
| zulip/zulip | 0 | 0 | 0 | 0 | 0 | 2024-07-26 |
| testsmt/yinyang | 0 | 0 | 0 | 0 | 0 | 2024-07-29 |
| will-leeson/sibyl | 0 | 0 | 0 | 0 | 0 | 2024-08-05 |
| uclid-org/medley-solver | 0 | 0 | 0 | 0 | 0 | 2024-08-06 |
| Messi-Q/ReChecker | 0 | 0 | 0 | 0 | 0 | 2024-08-13 |
| ADA-research/Sparkle | 0 | 0 | 0 | 0 | 0 | 2024-08-10 |
| ai4reason/grackle | 0 | 0 | 0 | 0 | 0 | 2024-08-11 |
| kupl/VeriSmart-public | 0 | 0 | 0 | 0 | 0 | 2024-08-01 |
| kupl/Diver-Artifact | 0 | 0 | 0 | 0 | 0 | 2024-08-04 |
| smartbugs/smartbugs-curated | 0 | 0 | 0 | 0 | 0 | 2024-08-12 |
| dlgroupuoft/simulate-predicted-symbex | 0 | 0 | 0 | 0 | 0 | 2024-07-17 |
| prosyslab-classroom/cs424-program-reasoning | 0 | 0 | 0 | 0 | 0 | 2024-08-02 |
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 |
|---|---|---|
| Ji-Soo-Lee | 1 | |
| Kim-mins | 1 | |
| Naserume | 1 | |
| andthemomentoflife | 1 | |
| audxo14 | 1 | |
| benecke2019 | 1 | |
| changukang | 1 | |
| cushionbadak | 1 | |
| dltjrgh | 1 | |
| doublehoon | 1 | |
| fwangdo | 1 | |
| glorialeezero | 1 | |
| hakjoooh | 1 | |
| henrylee97 | 1 | |
| hjyongdev | 1 | |
| hyp3rflow | 1 | |
| hyun-hyang | 1 | |
| jseop-lim | 1 | |
| junheeL | 1 | |
| klojihee | 1 | |
| kumdo0327 | 1 | |
| marinelay | 1 | |
| nondat | 1 | |
| sdw0316 | 1 | |
| seongjoonh | 1 |
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.