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
Adept 5
2 stars
to reach Advanced 1
Position: 420
/
1.4K
Language Score: 5
Top 30% of all ranked profiles
This month change:
↓1
OCaml
Beginner 1
1 star
to reach Beginner 2
Position: 3,238
/
3.4K
Language Score: 1
This month change:
↓10
Shell
Beginner 2
1 star
to reach Beginner 3
Position: 285,578
/
336.8K
Language Score: 1
This month change:
↓2,549
Makefile
Beginner 2
1 star
to reach Beginner 3
Position: 120,094
/
143.9K
Language Score: 1
This month change:
↓740
Standard ML
Beginner 1
1 star
to reach Beginner 2
Position: 1,044
/
1.1K
Language Score: 1
This month change:
↓3
