Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/holgerthies

Badges

Overview
Ranks
Repositories
Languages

Holger Thies

@holgerthies

🇯🇵 Kyoto, Japan

Kyoto University

Profile age: about 13 years

Updated about 15 hours ago

21 followers • 15 following

Contacts

http://www.holgerthies.com

Language Ranks Breakdown

Coq

Advanced 1

1 star
to reach Advanced 2

Position: 354 / 1.4K

Language Score: 6

Top 30% of all ranked profiles

This month change: ↓1

Haskell

Beginner 4

2 stars
to reach Beginner 5

Position: 6,262 / 9.1K

Language Score: 2

This month change: ↓26

Shell

Beginner 2

1 star
to reach Beginner 3

Position: 273,068 / 336.8K

Language Score: 1

This month change: ↓2,458

HTML

Beginner 3

1 star
to reach Beginner 4

Position: 465,410 / 613.5K

Language Score: 1

This month change: ↓3,195

Makefile

Beginner 3

1 star
to reach Beginner 4

Position: 114,308 / 143.9K

Language Score: 1

This month change: ↓706

C++

Beginner 2

1 star
to reach Beginner 3

Position: 237,545 / 273.2K

Language Score: 1

This month change: ↓1,884