Share :

ichistmeinname

Sandra Dylus

@ichistmeinname

Germany, Kiel 🇩🇪

Refresh user

Last updated : 04:54PM UTC, Jun 24th 2021

54 - Rank 180 476 🌍

Coq

Ranking:

World: 85 / 737

Germany 🇩🇪: 4 / 26

Kiel: 1 / 3

1 repository

#85
25

Haskell

Ranking:

World: 1750 / 11059

Germany 🇩🇪: 94 / 536

Kiel: 2 / 6

4 repositories

#1750
19

Agda

Ranking:

World: 179 / 349

Germany 🇩🇪: 9 / 21

Kiel: 1 / 1

1 repository

#179
4

TeX

Ranking:

World: 5874 / 23502

Germany 🇩🇪: 386 / 1346

Kiel: 3 / 7

2 repositories

#5874
4

HTML

Ranking:

World: 129066 / 267554

Germany 🇩🇪: 3591 / 5692

Kiel: 12 / 21

1 repository

#129066
1

Shell

Ranking:

World: 88013 / 135079

Germany 🇩🇪: 4724 / 6446

Kiel: 25 / 32

1 repository

#88013
1