isabelle developers.
6 developers writing isabelle, highest score first. Every one is scored from public work by the same published formula.
- @samthbloomingtonpostscriptracketcunclaimed90
- @jsiekbloomingtonagdatexpythonunclaimed88
- @dendisuhubdyc++cstandard mlunclaimed79
- @2222-42tokyohtmlgostandard mlunclaimed61
- @risajefpythontypescriptjavascriptunclaimed47
- @astahfromdenmarkjupyter notebookrustjavascriptunclaimed39