Share :

wouter-swierstra

Wouter Swierstra

@wouter-swierstra

Utrecht, the Netherlands 🇳🇱

Refresh user

Last updated : 03:05PM UTC, Jul 7th 2021

113 - Rank 110 622 🌍

Agda

Ranking:

World: 29 / 349

Netherlands 🇳🇱: 1 / 7

Utrecht: 1 / 3

2 repositories

#29
52

Coq

Ranking:

World: 48 / 737

Netherlands 🇳🇱: 1 / 12

Utrecht: 1 / 2

2 repositories

#48
45

Haskell

Ranking:

World: 2172 / 11059

Netherlands 🇳🇱: 57 / 215

Utrecht: 10 / 27

3 repositories

#2172
13

TeX

Ranking:

World: 6895 / 23502

Netherlands 🇳🇱: 95 / 298

Utrecht: 10 / 19

3 repositories

#6895
3