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 8 days ago
52 followers • 0 following
Profile Overview
Global
Taiwan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Influencer
#179,626
#2,525,519
#256,364
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
aopa
83
9
updated over 9 years ago • age over 10 years
Agda
100.0%
foundations-harper
53
2
updated over 6 years ago • age over 9 years
Agda
100.0%
mrm
9
2
updated over 8 years ago • age about 10 years
Haskell
73.2%
Agda
26.8%
monad-reasoning
2
0
updated about 1 year ago • age over 7 years
TeX
42.8%
Haskell
38.7%
Coq
18.5%
guabao-paper
1
0
updated over 3 years ago • age over 3 years
TeX
74.9%
Haskell
25.1%
View all 7 repositories
Last Contributions
2025
gcl-all
1 PR
+113
-95
Haskell
0
1
2024
gcl
1 PR
+144
-141
Haskell
13
5
66
2018
FLOLAC18
1 PR
+9
-1
Haskell
2
2
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
50
52
05 Jan 2025
First seen
Subscribe to scmu's GitHub rank updates in your messenger
WhatsApp
Telegram
