Share :

MaximilianAlgehed

Maximilian Algehed

@MaximilianAlgehed

Gothenburg 🇸🇪

Refresh user

Last updated : 12:26AM UTC, Sep 4th 2021

40 - Rank 217 734 🌍

Haskell

Ranking:

World: 1144 / 11059

Sweden 🇸🇪: 26 / 234

Gothenburg: 12 / 53

16 repositories

#1144
38

Agda

Ranking:

World: 327 / 349

Sweden 🇸🇪: 9 / 10

Gothenburg: 5 / 6

1 repository

#327
1

Coq

Ranking:

World: 682 / 737

Sweden 🇸🇪: 9 / 9

Gothenburg: 3 / 3

1 repository

#682
1