Supports dataclasses, standard classes, function signatures, and more. typical (⭐181) - Data parsing and automatic type-coercion using type hinting.typeguard (⭐1.4k) - Another one runtime type checker.typedpy (⭐15) - Type-safe, strict Python.

strongtyping (⭐103) - Decorator which checks whether the function is called with the correct type of parameters.

pytypes (⭐195) - Provides a rich set of utilities for runtime typechecking.

pydantic (⭐18k) - Data parsing using Python type hinting.

beartype (⭐2.4k) - Unbearably fast O(1) runtime type-checking in pure Python.

pytype (⭐4.5k) - Tool to check and infer types - without requiring type annotations.

It can run in a “watch” mode and performs fast incremental updates when files are modified.

pyright (⭐12k) - Fast type checker meant for large Python source bases.

pylyzer (⭐1.3k) - A fast static code analyzer & language server for Python, written in Rust.

pycharm - IDE for Professional Developers.

pyanalyze (⭐299) - Extensible static analyzer and type checker.

mypy (⭐17k) - Optional static typing (PEP 484).

basedpyright (⭐280) - Pyright fork with improvements to VSCode support and various other fixes.basedmypy (⭐86) - Based static typing with baseline functionality.Contentsįull list of typed projects on PyPi is here. Awesome Python TypingĬollection of awesome Python types, stubs, plugins, and tools to work with them. Awesome Python Typing (typeddjango/awesome-python-typing) Overview - Track Awesome List Awesome Python Typing OverviewĬollection of awesome Python types, stubs, plugins, and tools to work with them.

Python check type annotations