Rankings
Badges
/
scmu
Rankings
Badges
Overview
Ranks
Repositories
Languages
Shin-Cheng Mu
@scmu
Refresh
Open GitHub
🇹🇼 Taiwan
Academia Sinica
Profile age: over 10 years
Updated 9 days ago
52 followers • 0 following
Language Ranks Breakdown
Global
Taiwan
Agda
Master 5
12 stars
to reach Elite 1
Position: 16
/
457
Language Score: 139
Top 4% of all ranked profiles
Haskell
Adept 3
1 star
to reach Adept 4
Position: 3,181
/
9.1K
Language Score: 9
Top 40% of all ranked profiles
This month change:
↓11
TeX
Adept 2
2 stars
to reach Adept 3
Position: 16,961
/
40.6K
Language Score: 2
Top 50% of all ranked profiles
This month change:
↓144
Coq
Beginner 5
2 stars
to reach Adept 1
Position: 839
/
1.4K
Language Score: 1
This month change:
↓3
