Share :

peterthiemann

Peter Thiemann

@peterthiemann

Freiburg Germany 🇩🇪

Refresh user

Last updated : 08:41PM UTC, Jun 19th 2021

15 - Rank 396 519 🌍

Agda

Ranking:

World: 103 / 349

Germany 🇩🇪: 5 / 21

Regierungsbezirk Freiburg: 1 / 2

1 repository

#103
9

TeX

Ranking:

World: 9839 / 23502

Germany 🇩🇪: 645 / 1346

Regierungsbezirk Freiburg: 4 / 10

1 repository

#9839
2

Coq

Ranking:

World: 517 / 737

Germany 🇩🇪: 21 / 26

Regierungsbezirk Freiburg: 1 / 1

1 repository

#517
1

Haskell

Ranking:

World: 7316 / 11059

Germany 🇩🇪: 396 / 536

Regierungsbezirk Freiburg: 7 / 9

1 repository

#7316
1

Java

Ranking:

World: 177480 / 311069

Germany 🇩🇪: 6138 / 8882

Regierungsbezirk Freiburg: 19 / 24

1 repository

#177480
1

Scheme

Ranking:

World: 1403 / 2200

Germany 🇩🇪: 49 / 71

Regierungsbezirk Freiburg: 1 / 1

1 repository

#1403
1