Rankings
Badges
/
peterthiemann
Rankings
Badges
Overview
Ranks
Repositories
Languages
Peter Thiemann
@peterthiemann
Refresh
Open GitHub
🇩🇪 Freiburg Germany
University of Freiburg
Profile age: over 13 years
Updated 9 days ago
31 followers • 3 following
Contacts
http://www.informatik.uni-freiburg.de/~thiemann/
Language Ranks Breakdown
Global
Germany
Agda
Advanced 1
3 stars
to reach Advanced 2
Position: 110
/
457
Language Score: 18
Top 30% of all ranked profiles
TeX
Adept 4
2 stars
to reach Adept 5
Position: 12,921
/
40.6K
Language Score: 4
Top 40% of all ranked profiles
Haskell
Beginner 5
3 stars
to reach Adept 1
Position: 5,237
/
9.1K
Language Score: 3
Coq
Adept 2
2 stars
to reach Adept 3
Position: 619
/
1.4K
Language Score: 2
Top 50% of all ranked profiles
OCaml
Beginner 3
2 stars
to reach Beginner 4
Position: 2,578
/
3.4K
Language Score: 1
Racket
Beginner 3
1 star
to reach Beginner 4
Position: 1,138
/
1.5K
Language Score: 1
Makefile
Adept 1
1 star
to reach Adept 2
Position: 68,828
/
143.9K
Language Score: 1
Top 50% of all ranked profiles
Dockerfile
Adept 3
1 star
to reach Adept 4
Position: 38,706
/
99.1K
Language Score: 1
Top 40% of all ranked profiles
Nix
Beginner 4
1 star
to reach Beginner 5
Position: 5,979
/
9.2K
Language Score: 1
Java
Beginner 3
1 star
to reach Beginner 4
Position: 186,342
/
262K
Language Score: 1
