1.microsoft / TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.typescriptjavascriptlanguagetypecheckerGoAPACHE-2.0112K total15K forks+3,664 starsfrom 108,065 · score 8.21
2.astral-sh / tyAn extremely fast Python type checker and language server, written in Rust.PythonMIT20K total346 forks+1,691 starsfrom 18,327 · score 7.43
3.microsoft / typescript-goArchivedStaging repo for development of native port of TypeScriptGoAPACHE-2.026K total1.1K forks+1,068 starsfrom 25,035 · score 6.97
4.python / mypyOptional static typing for PythonpythontypestypingtypecheckerlinterPythonOther license21K total3.4K forks+443 starsfrom 20,271 · score 6.10
5.microsoft / pyrightStatic Type Checker for PythonPythonOther license16K total1.8K forks+417 starsfrom 15,310 · score 6.04
6.meta / flowAdds static typing to JavaScript to improve developer productivity and code quality.RustMIT22K total1.9K forks+192 starsfrom 22,115 · score 5.26