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	165,431,265	20,640	2026-09-15	Type Checkers Code Analysis Developer Tools	→
	Check variable types during compile time.
	python/github.com/python/mypy /2026-09-15 /165,431,265 downloads/month
2	ty Type Checkers	38,994,443	19,694	2026-09-15	Type Checkers Code Analysis Developer Tools	→
	An extremely fast Python type checker and language server.
	astral-sh/github.com/astral-sh/ty /2026-09-15 /38,994,443 downloads/month
3	pyright Type Checkers	37,808,083	15,644	2026-09-15	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-15 /37,808,083 downloads/month
4	pyrefly Type Checkers	7,571,932	6,967	2026-09-15	Type Checkers Code Analysis Developer Tools	→
	A fast type checker and language server for Python.
	facebook/github.com/facebook/pyrefly /2026-09-15 /7,571,932 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