Share :

jan-christiansen

Jan Christiansen

@jan-christiansen

Kiel, Germany 🇩🇪

Refresh user

Last updated : 12:02AM UTC, Sep 9th 2021

75 - Rank 145 805 🌍

Objective-C

Ranking:

World: 5514 / 42238

Germany 🇩🇪: 228 / 1233

Kiel: 2 / 4

2 repositories

#5514
38

Haskell

Ranking:

World: 1295 / 11059

Germany 🇩🇪: 69 / 536

Kiel: 1 / 6

4 repositories

#1295
32

Coq

Ranking:

World: 275 / 737

Germany 🇩🇪: 9 / 26

Kiel: 3 / 3

1 repository

#275
5