Madison, WI, United States
21
Followers
17
Following
6
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 2 owned repositories
2.4M
Total LOC
Java
2,422,842 lines
99.2%
N/A
HTML
9,583 lines
0.4%
N/A
CSS
6,336 lines
0.3%
N/A
Kotlin
2,919 lines
0.1%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Java
Java
HTML
CSS
Kotlin
Collaboration Network
Global Impact visualization
Repos
9
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
9
Contributions
3
Commits
2
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
17 total
Shawn Zhong
@ShawnZhong
Xudong Sun
@marshtompsxd
Ralf Jung
@RalfJung
Owen Friedman
@5-pebbles
OrangeX4
@OrangeX4
Synced via GitHub
Top Repositories
Tai-e
Tai-e static-analysis framework, with slight modifications for PKU-SA2024
1
0
Java
perennial
Verifying concurrent storage and distributed systems
0
0
Rocq Prover
my.ld.so
a simplified implementation of ld.so for musl libc
0
0
C
sys-verif-fa25
Course website for Systems Verification Fall 2025
0
0
Shell
pkuthss-typst-undergraduate
Typst template for dissertations in Peking University (PKU).
0
0
Typst
Hihi142.github.io
0
0
HTML
Open Source Impact
Contributions to external projects
2 merged PRs
Contributed to 2 repositories