Rankings
Badges
/
zhengpushi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zhengpu Shi
@zhengpushi
Refresh
Open GitHub
🇨🇳 Jiangsu province, China
Suzhou City University
Profile age: almost 6 years
Updated 12 days ago
2 followers • 31 following
Contacts
zhengpushi@szcu.edu.cn
https://zhengpushi.github.io
Language Ranks Breakdown
Global
China
Coq
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 5
Position: 15
/
87
OCaml
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 1
Position: 43
/
69
Shell
Beginner 4
1 star
to reach Beginner 5
Position: 13,409
/
20.5K
Language Score: 1
Makefile
Beginner 4
1 star
to reach Beginner 5
Position: 5,781
/
9K
Language Score: 1
Standard ML
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 1
Position: 26
/
41
