Share :

maxdore

Maximilian Doré

@maxdore

Cologne, Germany 🇩🇪

Refresh user

Last updated : 12:10AM UTC, Oct 31st 2021

13 - Rank 440 900 🌍

Haskell

Ranking:

World: 2330 / 11059

Germany 🇩🇪: 135 / 536

Cologne: 1 / 8

1 repository

#2330
12

Agda

Ranking:

World: 341 / 349

Germany 🇩🇪: 21 / 21

Cologne: 1 / 1

1 repository

#341
1