Top users by languages

Agda

Back to languages list

Conor McBride

@pigworker

#1
673

G. Allais

@gallais

#2
331

Egbert Rijke

@EgbertRijke

#3
312

#4
307

Ulf Norell

@UlfNorell

#5
264

Martin Escardo

@martinescardo

#6
239

effectfully

@effectfully

#7
155

Daniel Peebles

@copumpkin

#8
147

Wen Kokke

@wenkokke

#9
147

Scott Fleischman

@scott-fleischman

#10
143

#11
122

#13
120

AndrasKovacs

@AndrasKovacs

#14
116

#15
105

Jonathan Sterling

@jonsterling

#17
87

#18
86

Jesper Cockx

@jespercockx

#19
84

#20
82

#21
81

Sergei Romanenko

@sergei-romanenko

#22
69

Paolo Capriotti

@pcapriotti

#23
68

#24
67

Jan Stolarek

@jstolarek

#25
60