1.microsoft / TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
+2,055 stars
from 109,657 · score 7.63
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
8 repositories by Attention Score · Aug 5, 2026 – Nov 2, 2026 (UTC)
2.meta / pyrefly
A fast type checker and language server for Python
+374 stars
from 6,800 · score 5.93
3.python / mypy
Optional static typing for Python
+201 stars
from 20,515 · score 5.31
4.meta / pyre-checkArchived
Performant type-checking for python.
+21 stars
from 7,160 · score 3.09
+10 stars
from 1,483 · score 2.40
6.google / pytypeArchived
A static type analyzer for Python code
+7 stars
from 5,027 · score 2.08
7.fsprojects / Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
+3 stars
from 678 · score 1.39
8.quora / pyanalyze
A Python type checker
+2 stars
from 384 · score 1.10