University of Hong Kong
Hong Kong
282
Followers
736
Following
69
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 32 owned repositories
10.6M
Total LOC
Pascal
8,945,214 lines
84.2%
N/A
Jupyter Notebook
562,542 lines
5.3%
N/A
C++
474,185 lines
4.5%
N/A
HTML
286,557 lines
2.7%
N/A
Coq
63,288 lines
0.6%
N/A
Other
287,324 lines
2.7%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Pascal
Pascal
Jupyter Notebook
C++
HTML
Coq
Collaboration Network
Global Impact visualization
Repos
185
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
199
Contributions
43
Commits
16
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
736 total
Synced via GitHub
Top Repositories
My-Dev-Cpp
A new and improved fork of Orwell Dev-C++
25
0
Pascal
da-jia-lai-zhao-cha
大家来找茬
13
1
citysub
Citysub: Controlling Bounds
7
0
MoonBit
noninterference
5
0
skylee-homework-typst
Skylee's Typst Homework Template
4
0
Typst
ed-helper-crx
I hate Python and I love Dirk!
3
0
JavaScript
Workern-Sans
Work Sans with Traditional Kerning
2
0
tp
2
0
Java
skylee-task-manager
A command-line task manager
2
0
Java
HKU-ENGG1340-230
2
1
C++
Open Source Impact
Contributions to external projects
158 merged PRs
vprover/vampire
418
hkuplg/hkuplg.github.io
6
rocq-community/docker-base
4
hku-moodle-helper-dev/HKU-Moodle-Helper
9
Contributed to 4 repositories