coq developers.
15 developers writing coq, highest score first. Every one is scored from public work by the same published formula.
- @nikomatsakisbostonrustjavascriptjavaunclaimed99
- @lysxiahaskelljavascripthtmlunclaimed95
- @ilberttvhdlc++adaunclaimed93
- @creatorrrjavascriptpythonhtmlunclaimed91
- @garesocamltexhtmlunclaimed91
- @rst0gitlondonverilogpythontclunclaimed88
- @dvanhornwashingtonrackettexocamlunclaimed82
- @effectfullyagdahaskellhtmlunclaimed72
- @nmvdwhtmlrocq provertexunclaimed68
- @ssaavedrascalajavascriptjavaunclaimed60
- @bond15seattleagdatexrocq proverunclaimed54
- @dm0n3yann arbortextypescripthtmlunclaimed50
- @kyodralliamocamlleanassemblyunclaimed27
- @jsarracinohaskelltexocamlunclaimed24
- @danielrrrchiswicktexhaskellagdaunclaimed18