Share :

timjb

Tim Baumann

@timjb

Augsburg, Europe 🇩🇪

Refresh user

Last updated : 10:57AM UTC, Jun 22nd 2021

380 - Rank 44 732 🌍

Idris

Ranking:

World: 7 / 311

Germany 🇩🇪: 1 / 13

Augsburg: 1 / 2

2 repositories

#7
155

JavaScript

Ranking:

World: 26151 / 547136

Germany 🇩🇪: 1209 / 14827

Augsburg: 7 / 58

16 repositories

#26151
76

Haskell

Ranking:

World: 1109 / 11059

Germany 🇩🇪: 60 / 536

Augsburg: 2 / 7

11 repositories

#1109
40

Ruby

Ranking:

World: 7447 / 80550

Germany 🇩🇪: 362 / 3198

Augsburg: 3 / 9

1 repository

#7447
39

TypeScript

Ranking:

World: 12087 / 115966

Germany 🇩🇪: 610 / 4021

Augsburg: 4 / 17

2 repositories

#12087
24

TeX

Ranking:

World: 1643 / 23502

Germany 🇩🇪: 109 / 1346

Augsburg: 3 / 11

3 repositories

#1643
23

C

Ranking:

World: 21344 / 151074

Germany 🇩🇪: 1023 / 5126

Augsburg: 7 / 23

1 repository

#21344
15

Vim script

Ranking:

World: 4295 / 17549

Germany 🇩🇪: 190 / 655

Augsburg: 1 / 4

1 repository

#4295
4

HTML

Ranking:

World: 95237 / 267554

Germany 🇩🇪: 2539 / 5692

Augsburg: 10 / 21

1 repository

#95237
2

Emacs Lisp

Ranking:

World: 6557 / 9408

Germany 🇩🇪: 290 / 385

Augsburg: 2 / 2

1 repository

#6557
1

Agda

Ranking:

World: 273 / 349

Germany 🇩🇪: 16 / 21

Augsburg: 2 / 2

1 repository

#273
1