Rankings
Badges
/
zshi0616
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zhengyuan Shi
@zshi0616
Refresh
Open GitHub
🇭🇰 Hong Kong, China
The Chinese University of Hong Kong
Profile age: about 6 years
Updated 16 days ago
27 followers • 4 following
Contacts
https://www.linkedin.com/in/zhengyuan-shi-442493142/
Repositories
DeepGate2
29
8
updated almost 2 years ago • age over 2 years
Python
99.8%
Shell
0.2%
python-deepgate
23
5
1
updated over 1 year ago • age about 2 years
Python
100.0%
Minisys-1_CPU
17
1
updated over 5 years ago • age over 5 years
VHDL
91.3%
Coq
6.2%
Verilog
1.7%
Shell
0.4%
SystemVerilog
0.4%
DeepTPI
6
3
updated over 3 years ago • age over 3 years
Python
93.6%
Shell
6.4%
EDA4SAT
5
2
updated over 1 year ago • age over 1 year
C++
75.0%
C
23.7%
Python
1.1%
Shell
0.1%
M4
0.1%
CNF2LUT
3
0
updated 4 months ago • age over 1 year
C++
79.6%
C
19.0%
Python
1.2%
M4
0.1%
CMake
0.1%
CKTSAT
1
0
updated over 1 year ago • age over 1 year
C++
79.8%
C
19.1%
Python
1.0%
M4
0.1%
CMake
0.1%
run_solver
0
0
updated 8 months ago • age 8 months
Python
100.0%
DeepMap_Dataset
0
0
updated 6 months ago • age over 1 year
Python
80.1%
C++
19.9%
DeepCell
0
3
updated 3 months ago • age 6 months
Python
99.1%
Shell
0.9%
Contributions