Rankings
Badges
/
holgerthies
Rankings
Badges
Overview
Ranks
Repositories
Languages
Holger Thies
@holgerthies
Refresh
Open GitHub
🇯🇵 Kyoto, Japan
Kyoto University
Profile age: about 13 years
Updated about 21 hours ago
21 followers • 15 following
Contacts
http://www.holgerthies.com
Language Ranks Breakdown
Global
Japan
Coq
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 6
Position: 14
/
42
Haskell
Beginner 4
1 star
to reach Beginner 5
Position: 189
/
312
Language Score: 2
This month change:
↓1
Shell
Beginner 4
1 star
to reach Beginner 5
Position: 4,693
/
7.3K
Language Score: 1
This month change:
↓33
HTML
Beginner 5
1 star
to reach Adept 1
Position: 5,816
/
10.1K
Language Score: 1
This month change:
↓19
Makefile
Beginner 4
1 star
to reach Beginner 5
Position: 2,449
/
3.9K
Language Score: 1
This month change:
↓9
C++
Beginner 3
1 star
to reach Beginner 4
Position: 3,211
/
4.5K
Language Score: 1
This month change:
↓14
