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
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%
pyIC3
7
1
updated about 1 year ago • age over 1 year
Python
91.6%
Jupyter Notebook
6.4%
Shell
2.0%
Cheetah
5
0
updated over 1 year ago • age over 1 year
Rust
99.8%
Python
0.2%
ML4PDR
3
4
updated over 2 years ago • age almost 4 years
C++
48.8%
Verilog
35.1%
TeX
6.6%
Python
4.9%
C
4.6%
ESP32-SmartGarden
1
0
updated almost 6 years ago • age about 6 years
C++
94.7%
HTML
5.0%
C
0.3%
cosa2
0
0
updated 10 months ago • age over 1 year
C++
96.2%
Python
1.5%
CMake
1.1%
Shell
0.9%
Makefile
0.3%
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
FlattenRTL
1 PR
+23
-0
Verilog
20
3
wasim-cpp
2 PRs
+464
-292
SMT
0
1
