agda developers.
8 developers writing agda, highest score first. Every one is scored from public work by the same published formula.
- @siersbaseltypescriptshellhaskellunclaimed90
- @jvoigtlaenderduisburgelmshellhtmlunclaimed89
- @emilyriehlbaltimoreleantexhtmlunclaimed88
- @gavinmendelgleasonviennarocq proverjavascriptpythonunclaimed87
- @rolypbristoltypescriptpythonpurescriptunclaimed82
- @effectfullyhaskellhtmlcoqunclaimed74
- @pigworkerglasgowtexhaskellbibtex styleunclaimed58
- @japiirainenhelsinkihaskelltypescriptjavascriptunclaimed49