Top Coq GitHub developers worldwide



Username World rank Stars
8460?v=3 jwiegley 1 592
6826454?v=3 unimath 2 570
692156?v=3 hott 3 560
8820208?v=3 absint 4 488
5273459?v=3 uwplse 5 452
12404246?v=3 mit-pdos 6 233
2353331?v=3 achlipala 7 222
316665?v=3 clarus 8 216
4643974?v=4 antalsz 9 199
11424151?v=3 math-comp 10 165
6460541?v=3 jscert 11 160
11860253?v=3 mit-plv 12 137
7363878?v=3 jonleivent 13 118
18695465?v=3 coq-contribs 14 113
1919273?v=3 princetonuniversity 15 101
8515341?v=3 quickchick 16 93
440498?v=3 robbertkrebbers 17 90
478606?v=3 ptival 18 89
5832668?v=3 amintimany 19 89
365911?v=3 tiarkrompf 20 87
786070?v=3 math-classes 21 78
8493848?v=3 vellvm 22 74
44281?v=3 pirapira 23 72
2103670?v=4 sweirich 24 70
796574?v=3 stepchowfun 25 68