Rankings
Badges
/
Gy-Hu
Rankings
Badges
Overview
Ranks
Repositories
Languages
Guangyu (Gary) HU
@Gy-Hu
Refresh
Open GitHub
🇭🇰 Hong Kong
The Hong Kong University of Science and Technology
Profile age: about 7 years
Updated 6 days ago
118 followers • 476 following
Contacts
https://guangyuhu.me
@rdsspq_eax
in/guangyu-hu
Organizations
Profile Overview
Global
Hong Kong
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 3
Persona
Influencer
#228,134
#1,623,784
#100,564
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
E-Syn
38
7
updated over 1 year ago • age about 2 years
C
79.0%
Rust
17.8%
C++
2.0%
Jupyter Notebook
0.9%
TeX
0.3%
E-Syn2
22
2
updated 5 months ago • age over 1 year
C
81.0%
Makefile
15.0%
C++
2.0%
Jupyter Notebook
1.4%
CMake
0.6%
AIG2INV
11
1
updated about 2 years ago • age over 3 years
C++
41.3%
Jupyter Notebook
41.3%
Python
13.8%
SMT
2.9%
Makefile
0.6%
HWMCC24-benchmark
11
2
updated 8 days ago • age over 1 year
Verilog
75.7%
C++
16.5%
Python
3.3%
Jupyter Notebook
2.9%
C
1.5%
pyBMC
9
0
updated over 2 years ago • age over 2 years
Python
100.0%
View all 10 repositories
Last Contributions
2025
rIC3
1 PR
+16
-2
Rust
71
18
14
ABCPaperCheck
2 PRs
+81
-12
59
11
SMT-Sweep
2 PRs
+7
-6
C++
7
1
wasim-cpp
2 PRs
+163
-26
SMT
0
1
2024
awesome-egraphs
1 PR
+2
-0
254
15
View all contributions
Latest Updates
28 Oct 2025
Followers Count:
114
118
13 Oct 2025
Followers Count:
117
114
29 Sep 2025
Followers Count:
113
117
14 Sep 2025
Followers Count:
111
113
16 Aug 2025
Followers Count:
107
111
17 Jan 2025
First seen
Subscribe to Gy-Hu's GitHub rank updates in your messenger
WhatsApp
Telegram
