Top users by languages

Agda

Back to languages list

#51
26

#52
25

#53
25

Youyou Cong

@YouyouCong

#54
24

John Leo

@halfaya

#55
24

favonia

@favonia

#56
23

#57
22

#58
22

#59
22

#60
21

Uma Zalakain

@umazalakain

#61
21

Arjen Jonathan

@ajrouvoet

#63
21

#64
21

#65
20

Zongzhe Yuan

@ZongzheYuan

#66
20

#67
19

#68
19

Xie Yuheng

@xieyuheng

#69
18

Peter LeFanu Lumsdaine

@peterlefanulumsdaine

#70
17

#71
16

stoopkid

@sto0pkid

#72
16

Alex Kavvos

@lambdabetaeta

#73
16

#74
16

MaiaVictor

@MaiaVictor

#75
15