Share :

Kha

Sebastian Ullrich

@Kha

Karlsruhe, Germany 🇩🇪

Refresh user

Last updated : 03:47PM UTC, Jun 17th 2021

352 - Rank 47 608 🌍

Lean

Ranking:

World: 5 / 170

Germany 🇩🇪: 1 / 8

Karlsruhe: 1 / 3

4 repositories

#5
277

C#

Ranking:

World: 7764 / 132947

Germany 🇩🇪: 298 / 3682

Karlsruhe: 8 / 61

2 repositories

#7764
50

TeX

Ranking:

World: 5023 / 23502

Germany 🇩🇪: 326 / 1346

Karlsruhe: 16 / 49

2 repositories

#5023
5

Python

Ranking:

World: 141126 / 483868

Germany 🇩🇪: 5101 / 13765

Karlsruhe: 87 / 239

4 repositories

#141126
5

JavaScript

Ranking:

World: 181400 / 547136

Germany 🇩🇪: 6570 / 14827

Karlsruhe: 102 / 228

2 repositories

#181400
4

Agda

Ranking:

World: 174 / 349

Germany 🇩🇪: 8 / 21

Karlsruhe: 2 / 2

1 repository

#174
4

C

Ranking:

World: 72972 / 151074

Germany 🇩🇪: 2931 / 5126

Karlsruhe: 65 / 96

1 repository

#72972
2

Java

Ranking:

World: 173641 / 311069

Germany 🇩🇪: 5935 / 8882

Karlsruhe: 161 / 219

1 repository

#173641
1

Haskell

Ranking:

World: 6880 / 11059

Germany 🇩🇪: 363 / 536

Karlsruhe: 9 / 13

1 repository

#6880
1

CoffeeScript

Ranking:

World: 7139 / 12122

Germany 🇩🇪: 390 / 622

Karlsruhe: 8 / 12

1 repository

#7139
1

Nix

Ranking:

World: 1042 / 1596

Germany 🇩🇪: 91 / 132

Karlsruhe: 2 / 2

1 repository

#1042
1

Shell

Ranking:

World: 78595 / 135079

Germany 🇩🇪: 4147 / 6446

Karlsruhe: 79 / 125

1 repository

#78595
1