pyright - Fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified.
pyanalyze - Extensible static analyzer and type checker for Python.
Dynamic type checkers
pytypes - Provides a rich set of utilities for runtime typechecking.
pydantic - Data parsing using Python type hinting. Supports dataclasses.
Great article! Don't forget to check out awesome-python-typing collection.
typeddjango / awesome-python-typing
Collection of awesome Python types, stubs, plugins, and tools to work with them.
Awesome Python Typing
Collection of awesome Python types, stubs, plugins, and tools to work with them.
Contents
Full list of typed projects on PyPi is here.
Static type checkers
Dynamic type checkers