Rankings
Badges
/
lzy0505
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zongyuan Liu
@lzy0505
Refresh
Open GitHub
🇩🇰 Aarhus
@logsem
Profile age: almost 12 years
Updated 11 days ago
48 followers • 118 following
Contacts
cs.au.dk/~zyliu
Profile Overview
Global
Denmark
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Influencer
N/A
#1,191,701
#284,643
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Movie-Rating
2
0
updated over 7 years ago • age over 8 years
Python
100.0%
Lex-Yacc
2
0
updated over 7 years ago • age over 7 years
C
97.8%
C++
1.7%
Lex
0.3%
Yacc
0.2%
Cover-Tree
0
0
updated almost 8 years ago • age almost 8 years
Python
100.0%
VCampus
0
0
updated about 8 years ago • age about 8 years
Java
100.0%
Last Contributions
2025
archsem
2 PRs
+21
-67
Rocq Prover
14
2
2024
dune
1 PR
+9
-2
OCaml
1,797
453
159
coq-sail
1 PR
+53
-53
Rocq Prover
8
6
4
2023
iris-project
2 PRs
+17
-0
HTML
2
24
2022
VMSL
~7 PRs
+14,310
-6,449
Coq
3
0
View all contributions
Latest Updates
04 Nov 2025
Followers Count:
46
48
21 Oct 2025
Followers Count:
45
46
06 Oct 2025
Followers Count:
47
45
22 Sep 2025
Followers Count:
45
47
08 Sep 2025
Followers Count:
46
45
09 Jan 2025
First seen
Subscribe to lzy0505's GitHub rank updates in your messenger
WhatsApp
Telegram
