1.microsoft / TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.typescriptjavascriptlanguagetypecheckerGoAPACHE-2.0112K total15K forks+2,058 starsfrom 109,671 · score 7.63
2.astral-sh / tyAn extremely fast Python type checker and language server, written in Rust.PythonMIT20K total346 forks+724 starsfrom 19,294 · score 6.59
3.python / mypyOptional static typing for PythonpythontypestypingtypecheckerlinterPythonOther license21K total3.4K forks+193 starsfrom 20,521 · score 5.27
4.microsoft / typescript-goArchivedStaging repo for development of native port of TypeScriptGoAPACHE-2.026K total1.1K forks+155 starsfrom 25,948 · score 5.05
5.meta / flowAdds static typing to JavaScript to improve developer productivity and code quality.RustMIT22K total1.9K forks+69 starsfrom 22,238 · score 4.25