Share :

TheoWinterhalter

Théo Winterhalter

@TheoWinterhalter

Bochum, Germany 🇩🇪

Refresh user

Last updated : 09:39AM UTC, Jun 28th 2021

102 - Rank 118 646 🌍

Coq

Ranking:

World: 29 / 737

Germany 🇩🇪: 2 / 26

Bochum: 1 / 2

6 repositories

#29
80

TeX

Ranking:

World: 1865 / 23502

Germany 🇩🇪: 131 / 1346

Bochum: 2 / 6

1 repository

#1865
20

CoffeeScript

Ranking:

World: 8864 / 12122

Germany 🇩🇪: 485 / 622

Bochum: 5 / 6

1 repository

#8864
1

No language

Ranking:

World: 237318 / 531811

Germany 🇩🇪: 5541 / 9853

Bochum: 20 / 31

1 repository

#237318
1