Share :

marco-vassena

Marco Vassena

@marco-vassena

Saarbrücken, Germany 🇩🇪

Refresh user

Last updated : 12:17AM UTC, Aug 18th 2021

5 - Rank 750 640 🌍

Agda

Ranking:

World: 172 / 349

Germany 🇩🇪: 7 / 21

Saarbrücken: 1 / 1

2 repositories

#172
4

Haskell

Ranking:

World: 9681 / 11059

Germany 🇩🇪: 495 / 536

Saarbrücken: 6 / 6

1 repository

#9681
1