Badges

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

/proglang

Badges

Overview
Ranks
Repositories
Languages

Peter Thiemann

@proglang

🇩🇪 Freiburg, Germany

Profile age: over 10 years

Updated 12 days ago

34 followers • 1 following

Contacts

proglang@informatik.uni-freiburg.de

Language Ranks Breakdown

Haskell

Advanced 2

3 stars
to reach Advanced 3

Position: 1,877 / 9.1K

Language Score: 23

Top 30% of all ranked profiles

This month change: ↓6

TeX

Expert 2

3 stars
to reach Expert 3

Position: 4,158 / 41K

Language Score: 19

Top 20% of all ranked profiles

This month change: ↓18

C

Adept 1

2 stars
to reach Adept 2

Position: 116,802 / 240.2K

Language Score: 3

Top 50% of all ranked profiles

This month change: ↓540

Makefile

Advanced 2

1 star
to reach Advanced 3

Position: 30,365 / 145K

Language Score: 3

Top 30% of all ranked profiles

This month change: ↓128

Agda

Beginner 3

1 star
to reach Beginner 4

Position: 337 / 457

Language Score: 2

JavaScript

Beginner 3

1 star
to reach Beginner 4

Position: 506,375 / 715K

Language Score: 1

This month change: ↓2,377

Yacc

Beginner 4

1 star
to reach Beginner 5

Position: 3,521 / 5.5K

Language Score: 1

This month change: ↓13

Logos

Beginner 2

1 star
to reach Beginner 3

Position: 1,434 / 1.7K

Language Score: 1

This month change: ↓5

OCaml

Beginner 2

1 star
to reach Beginner 3

Position: 2,888 / 3.4K

Language Score: 1

This month change: ↓11

SMT

Beginner 3

1 star
to reach Beginner 4

Position: 190 / 263

Language Score: 1

This month change: ↓1