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	20,398	2026-05-01	Code Analysis	→
	Check variable types during compile time. python/github.com/python/mypy /2026-05-01
2	ty Type Checkers	18,484	2026-05-01	Code Analysis	→
	An extremely fast Python type checker and language server. astral-sh/github.com/astral-sh/ty /2026-05-01
3	pyrefly Type Checkers	5,656	2026-05-02	Code Analysis	→
	A fast type checker and language server for Python. facebook/github.com/facebook/pyrefly /2026-05-02
4	typeshed Type Checkers	5,048	2026-05-02	Code Analysis	→
	Collection of library stubs for Python, with static types. python/github.com/python/typeshed /2026-05-02

Contribute

Know a project that belongs here?

Tell us what it does and why it stands out.

Submit a project Star the repository