Rankings
Badges
/
josh-hs-ko
Rankings
Badges
Overview
Ranks
Repositories
Languages
Josh Ko
@josh-hs-ko
Refresh
Open GitHub
🇹🇼 Taipei, Taiwan
Institute of Information Science, Academia Sinica
Profile age: almost 13 years
Updated 5 days ago
43 followers • 0 following
Contacts
https://josh-hs-ko.github.io
Language Ranks Breakdown
Global
Taiwan
Agda
Adept 4
4 stars
to reach Adept 5
Position: 157
/
457
Language Score: 11
Top 40% of all ranked profiles
TeX
Advanced 1
2 stars
to reach Advanced 2
Position: 9,561
/
40.6K
Language Score: 6
Top 30% of all ranked profiles
This month change:
↓64
Haskell
Beginner 3
2 stars
to reach Beginner 4
Position: 6,790
/
9.1K
Language Score: 1
This month change:
↓28
