Tag Info

agda Questions

73	13	ice1000♦ 6,30610 silver badges63 bronze badges
66	5	András Kovács 2,0779 silver badges17 bronze badges
47	9	gallais 1,2664 silver badges12 bronze badges
42	7	Andrej Bauer 9,73223 silver badges62 bronze badges
29	5	Meven Lennon-Bertrand♦ 5,5108 silver badges28 bronze badges
27	2	Neel Krishnaswami 2,0535 silver badges17 bronze badges
22	3	Jesper 5065 silver badges8 bronze badges
18	1	Namdak Tönpa 1,2977 silver badges26 bronze badges
16	2	pigworker 7712 silver badges10 bronze badges
15	3	Dan Doel 9825 silver badges7 bronze badges
14	4	Trebor♦ 4,0251 gold badge8 silver badges39 bronze badges
14	4	Joey Eremondi 9214 silver badges14 bronze badges
14	1	Couchy 2,2902 gold badges9 silver badges39 bronze badges
12	1	Lawrence Paulson 8063 silver badges6 bronze badges
10	2	ionchy 1,0263 silver badges18 bronze badges
10	3	James Wood 1,0534 silver badges17 bronze badges
9	1	François G. Dorais 6353 silver badges13 bronze badges
8	1	James Martin 1,0354 silver badges24 bronze badges
7	1	James McKinna 712 bronze badges
6	1	Matthew McQuaid 3662 silver badges6 bronze badges

Ember Edison

2791 silver badge6 bronze badges

66	9	ice1000♦ 6,30610 silver badges63 bronze badges
46	3	Meven Lennon-Bertrand♦ 5,5108 silver badges28 bronze badges
32	5	Joey Eremondi 9214 silver badges14 bronze badges
27	2	Mike Shulman 3,2006 silver badges34 bronze badges
23	3	Itai Zukerman 3451 silver badge6 bronze badges
22	1	pigworker 7712 silver badges10 bronze badges
21	4	IsAdisplayName 3171 silver badge6 bronze badges
16	1	Blaisorblade 3943 silver badges9 bronze badges
15	1	Sean O'Connor 3612 silver badges10 bronze badges
13	3	Ilk 5472 silver badges12 bronze badges
12	2	aradarbel10 3191 silver badge5 bronze badges
11	4	tinlyx 2,2201 gold badge7 silver badges29 bronze badges
10	2	Guy Coder 2,8461 gold badge12 silver badges38 bronze badges
9	1	Couchy 2,2902 gold badges9 silver badges39 bronze badges
8	1	James Wood 1,0534 silver badges17 bronze badges
8	1	James Martin 1,0354 silver badges24 bronze badges
8	1	Olek Gierczak 834 bronze badges
7	1	Fmbalbuena 2453 silver badges9 bronze badges
7	1	Jesper 5065 silver badges8 bronze badges
7	3	Ember Edison 2791 silver badge6 bronze badges

Only non community-wiki questions and answers are included in these totals (updated daily)