Top users by languages

Agda

Back to languages list
User wouter-swierstra

Wouter Swierstra

@wouter-swierstra

#1
52

User JLimperg

Jannis Limperg

@JLimperg

#2
29

User jesyspa

Anton Golov

@jesyspa

#3
10

User joaopizani

João Pizani

@joaopizani

#4
4

User mathijsb

Mathijs Baaijens

@mathijsb

#5
3

User twanvl

Twan van Laarhoven

@twanvl

#6
1

User dxts

Dixit Sabharwal

@dxts

#7
1