Type Checkers

Search every project in one place

Press / to search. Tap a tag to filter. Click any row for details.

Filtering for

Row number					Tags
1	mypy Type Checkers	184,970,227	20,625	2026-09-04	Type Checkers Code Analysis Developer Tools	→
	Check variable types during compile time.
	python/github.com/python/mypy /2026-09-04 /184,970,227 downloads/month
2	ty Type Checkers	40,212,294	19,626	2026-09-04	Type Checkers Code Analysis Developer Tools	→
	An extremely fast Python type checker and language server.
	astral-sh/github.com/astral-sh/ty /2026-09-04 /40,212,294 downloads/month
3	pyright Type Checkers	38,132,774	15,620	2026-09-03	Type Checkers Code Analysis Developer Tools	→
	Full-featured static type checker for Python from Microsoft, the engine behind Pylance.
	microsoft/github.com/microsoft/pyright /2026-09-03 /38,132,774 downloads/month
4	pyrefly Type Checkers	7,555,315	6,938	2026-09-05	Type Checkers Code Analysis Developer Tools	→
	A fast type checker and language server for Python.
	facebook/github.com/facebook/pyrefly /2026-09-05 /7,555,315 downloads/month

Contribute

Know a project that belongs here?

Tell us what it does and why it stands out.

Submit a project Star the repository