Top users by languages

Agda

Back to languages list
User pcapriotti

Paolo Capriotti

@pcapriotti

#1
68

User Blaisorblade

Paolo G. Giarrusso

@Blaisorblade

#2
11

User arianvp

Arian van Putten

@arianvp

#3
3

User mchristianl

mchristianl

@mchristianl

#4
2

User zampino

Andrea Amantini

@zampino

#5
2

User turion

Manuel Bärenz

@turion

#6
1

User rootmos

Gustav Behm

@rootmos

#7
1

User matthew-healy

Matthew Healy

@matthew-healy

#8
1