Top users by languages

Agda

Back to languages list
User sstucki

Sandro Stucki

@sstucki

#1
81

User nachivpn

Nacho

@nachivpn

#2
55

User guillaumebrunerie

Guillaume Brunerie

@guillaumebrunerie

#3
46

User andreasabel

Andreas Abel

@andreasabel

#4
28

User mortberg

Anders Mörtberg

@mortberg

#5
26

User peterlefanulumsdaine

Peter LeFanu Lumsdaine

@peterlefanulumsdaine

#6
17

User xplat

James Deikun

@xplat

#7
4

User patrikja

Patrik Jansson

@patrikja

#8
3

User aztek

Evgenii Kotelnikov

@aztek

#9
1

User MaximilianAlgehed

Maximilian Algehed

@MaximilianAlgehed

#10
1