Tools / Mypy plugins

• pydantic - Plugin for additional Pydantic support.

Tools / Helper tools to add annotations to existing code

• RightTyper (⭐341) - A tool that generates types for your function arguments and return values. RightTyper lets your code run at nearly full speed with almost no memory overhead.

Stub packages

• scipy-stubs (⭐75) - Stubs for SciPy (⭐14k).

Backports and improvements

• typing-extensions (⭐535) - Backported and experimental type hints.

Tools / Linters

• Ruff (⭐44k) - Extremely fast linter which supports lint rules from many other lint tools, such as flake8.

Tools / Helper tools to add annotations to existing code

• no_implicit_optional (⭐100) - A codemod to make your implicit optional type hints PEP 484 compliant.

Additional types

• optype (⭐68) - Opinionated collections.abc and operators alternative: Flexible single-method protocols and typed operators with predictable names.

Static type checkers

• basedpyright (⭐2.8k) - Pyright fork with improvements to VSCode support and various other fixes.

Stub packages

• python-phonenumbers-stubs (⭐1) - Stubs for phonenumbers (⭐3.7k).

Additional types

• useful-types (⭐146) - Collection of useful protocols and type aliases.

Static type checkers

• basedmypy (⭐195) - Based static typing with baseline functionality.

Static type checkers

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

Tools / Helper tools to add annotations to existing code

• jsonschema-gentypes (⭐45) - Generate Python types based on TypedDict from a JSON Schema.

Articles / Third-party articles

• Our journey to type checking 4 million lines of Python - Dropbox has been one of the first companies to adopt Python static type checking at this scale.

Articles / Third-party articles

• Python Type Checking (Guide) - In this guide, you will get a look into Python type checking.

Tools / Helper tools to add annotations to existing code

• PyTypes (⭐11) - Infer Types by Python Tracing.

Backports and improvements

• future-typing (⭐19) - Backport for type hinting generics in standard collections and union types as X | Y.

Tools / Working with types

• mypy-baseline (⭐74) - Integrate mypy with existing codebase. A CLI tool that filters out existing type errors and reports only new ones.

• retype (⭐145) - Another tool to apply stubs to code.

• typesplainer (⭐83) - A Python type explainer.

Tools / Helper tools to add annotations to existing code

• infer-types (⭐94) - CLI tool to automatically infer and add type annotations into Python code.

Tools / Helper tools to add annotations to existing code

• autotyping (⭐271) - Automatically add simple return type annotations for functions (bool, None, Optional).

Stub packages

• boto3-stubs - Stubs for boto3 (⭐9.6k).

• types-aiobotocore - Stubs for aiobotocore (⭐1.4k).

Dynamic type checkers

• typedpy (⭐17) - Type-safe, strict Python. Works well with standard Python.

Stub packages

• celery-types (⭐129) - Type stubs for Celery (⭐28k) and its related packages django-celery-results (⭐763), ampq (⭐314), kombu (⭐3.1k), billiard (⭐429), vine (⭐128) and ephem (⭐879).

Articles / Third-party articles

• Static Typing Python Decorators - Accurately static typing decorators in Python is an icky business. The wrapper function obfuscates type information required to statically determine the types of the parameters and the return values of the wrapped function.

Tools / Testing

• mypy-test (⭐6) - Test mypy plugins, stubs, custom types.

Tools / Working with types

• typeforce (⭐21) - CLI tool that enriches your Python environment with type annotations, empowering mypy.

Dynamic type checkers

• trycast (⭐86) - Parse JSON-like values whose shape is defined by typed dictionaries (TypedDicts) and other standard Python type hints.

Tools / Linters

• flake8-type-ignore - flake8 plugin to disallow type: ignore comments in your typed Python code.

Tools / Helper tools to add annotations to existing code

• auto-optional (⭐18) - Makes typed arguments Optional when the default argument is None.

Articles / Third-party articles

• Python-typing-koans (⭐118) - A set of examples to learn optional static typing in Python.

• Adding type hints to urllib3 - Tests are not enough: Case study adding type hints to urllib3.

• Adam Johnsons Blog - Adam Johnson blogs about typing practices.

• ParamSpec Guide - Newly released feature in PEP612 allows you do a lot of advanced typing things with functions and their signatures.

Tools / Linters

• flake8-type-checking (⭐125) - Plugin to help you guard any type-annotation-only import correctly.

Articles / Third-party articles

• PyTest MonkeyType Introduction - Type Annotate an existing Python Django Codebase with MonkeyType.

• Type Check Your Django Application - An article based on two recent talks on adding type checks to Django.

Tools / Mypy plugins

• kubernetes-typed (⭐27) - Plugin for Kubernetes CRD type checking.

Stub packages

• sqlalchemy2-stubs - Official stubs and mypy plugin for SQLAlchemy.

Integrations / Mypy plugins

• nbQA (⭐1.2k) - Run type checkers (e.g. Mypy) on Jupyter Notebooks.

Static type checkers

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

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

• pyre - Performant type-checker.

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

Dynamic type checkers

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

Stub packages

• asgiref (⭐1.6k) - ASGI specification, provides asgiref.typing (⭐1.6k) module with type annotations for ASGI servers.

• typeshed (⭐4.9k) - Collection of library stubs, with static types.

Additional types

• meiga (⭐81) - Simple, typed and monad-based Result type.

• option (⭐98) - Rust like Option and Result types.

• phantom-types (⭐226) - Phantom types.

• returns (⭐4.2k) - Make your functions return something meaningful, typed, and safe.

• safetywrap (⭐46) - Fully typesafe, Rust-like Result and Option types.

• typet (⭐23) - Length-bounded types, dynamic object validation.

Tools / Linters

• wemake-python-styleguide (⭐2.8k) - The strictest and most opinionated Python linter ever.

Tools / Working with types

• com2ann (⭐155) - Tool for translation of type comments to type annotations.

• typing-inspect (⭐375) - The typing_inspect module defines experimental API for runtime inspection of types defined in the typing module.

Tools / Helper tools to add annotations to existing code

• monkeytype (⭐5k) - Collects runtime types of function arguments and return values, and can automatically generate stub files or even add draft type annotations directly to your code based on the types collected at runtime.

• type4py (⭐65) - Deep Similarity Learning-Based Type Inference.

Integrations / Mypy plugins

• mypy-playground (⭐76) - Online playground for mypy.

• mypy-pycharm-plugin (⭐319) - Mypy integration for PyCharm.

• pylance (⭐1.9k) - PyRight integration for VSCode.

Dynamic type checkers

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

Stub packages

• botostubs (⭐94) - Gives you code assistance for any boto3 API in any IDE.

• PyQt5-stubs (⭐69) - Stubs for PyQt5.

• sqlalchemy-stubs (⭐581) - Stubs for SQLAlchemy (⭐11k).

Backports and improvements

• typing-utils (⭐12) - Backport 3.8+ runtime typing utils(for eg: get_origin) & add issubtype & more.

Tools / Linters

• flake8-pyi (⭐80) - Plugin for Flake8 that provides specializations for type hinting stub files.

Tools / Testing

• pytest-mypy (⭐257) - Mypy static type checker plugin for Pytest.

Tools / Working with types

• merge-pyi (⭐5k) - Part of pytype toolchain, applies stub files onto source code.

• mypy-silent (⭐18) - Silence mypy by adding or removing code comments.

Tools / Helper tools to add annotations to existing code

• pytest-annotate (⭐111) - Pyannotate plugin for pytest.

• pytest-monkeytype (⭐46) - MonkeyType plugin for pytest.

• typilus (⭐62) - A deep learning algorithm for predicting types in Python. Also available as a GitHub action (⭐42)

Tools / Mypy plugins

• loguru-mypy (⭐22) - Plugin for loguru (⭐23k) support.

• pynamodb-mypy (⭐5) - Plugin for PynamoDB (⭐2.5k) support.

Integrations / Mypy plugins

• emacs-flycheck-mypy (⭐38) - Mypy integration for Emacs.

Articles / Third-party articles

• Type hints cheat sheet - Cheat sheet on writing type annotations by MyPy team.

• Typechecking Django and DRF - Full tutorial about type-checking Django.

• typing - Official Python documentation for typing module.

Stub packages

• torchtyping (⭐1.5k) - Enhanced type annotations for PyTorch.

Articles / Third-party articles

• The state of type hints in Python - As of May 2018.

Stub packages

• lxml-stubs (⭐47) - Stubs for lxml.

Tools / Linters

• flake8-typing-imports (⭐51) - Plugin which checks that typing imports are properly guarded.

• flake8-typing-only-imports (⭐125) - flake8 plugin that helps identify which imports to put into type-checking blocks, and how to adjust your type annotations once imports are moved.

Dynamic type checkers

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

Tools / Helper tools to add annotations to existing code

• pyannotate (⭐1.4k) - Insert annotations into your source code based on call arguments and return types observed at runtime.

• pyre infer (⭐7.1k) - Pyre has a powerful feature for migrating codebases to a typed format. The infer command-line option ingests a file or directory, makes educated guesses about the types used, and applies the annotations to the files.

• pytype annotate-ast (⭐5k) - A work-in-progress tool to annotate the nodes of an AST with their Python types.

Tools / Working with types

• typing-json - Lib for working with typed objects and JSON.

Tools / Linters

• flake8-annotations (⭐164) - Plugin for flake8 to check for presence of type annotations in function definitions.

Tools / Testing

• pytest-mypy-testing (⭐33) - Pytest plugin to test mypy static type analysis.

Articles / PEPs

• PEP-3107 - Function Annotations.

• PEP-482 - Literature Overview for Type Hints.

• PEP-483 - The Theory of Type Hints.

• PEP-484 - Type Hints.

• PEP-526 - Syntax for Variable Annotations.

• PEP-544 - Protocols: Structural subtyping (static duck typing).

• PEP-557 - Data Classes.

• PEP-560 - Core support for typing module and generic types.

• PEP-561 - Distributing and Packaging Type Information.

• PEP-563 - Postponed Evaluation of Annotations.

• PEP-585 - Type Hinting Generics In Standard Collections.

• PEP-586 - Literal Types.

• PEP-589 - TypedDict: Type Hints for Dictionaries with a Fixed Set of Keys.

• PEP-591 - Adding a final qualifier to typing.

• PEP-593 - Flexible function and variable annotations.

• PEP-604 - Complementary syntax for Union[].

• PEP-612 - Parameter Specification Variables.

• PEP-613 - Explicit Type Aliases.

Dynamic type checkers

• typical (⭐180) - Data parsing and automatic type-coercion using type hinting. Supports dataclasses, standard classes, function signatures, and more.

Dynamic type checkers

• pydantic (⭐26k) - Data parsing using Python type hinting. Supports dataclasses.

• typeguard (⭐1.7k) - Another one runtime type checker.

Stub packages

• pythonista-stubs (⭐20) - Stubs for Pythonista.

Tools / Working with types

• mypyc (⭐20k) - Compiles mypy-annotated, statically typed Python modules into CPython C extensions.

Articles / Third-party articles

• 1-minute guide to real constants in Python - Full tutorial about Final constants and inheritance.

• Simple dependent types in Python - Full tutorial about Literal types.

Static type checkers

• pyright (⭐15k) - 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.

Stub packages

• django-stubs (⭐1.8k) - Stubs for Django (⭐86k).

• djangorestframework-stubs (⭐522) - Stubs for DRF (⭐30k).

• grpc-stubs (⭐40) - Stubs for grpc (⭐44k).

Tools / Linters

• flake8-annotations-complexity (⭐50) - Plugin for flake8 to validate annotations complexity.

Tools / Testing

• pytest-mypy-plugins (⭐122) - Pytest plugin for testing mypy types, stubs, and plugins.

Tools / Working with types

• mypy-protobuf (⭐690) - Tool to generate mypy stubs from protobufs.

Tools / Mypy plugins

• mypy-zope (⭐40) - Plugin for zope.interface support.

• mypy/plugins (⭐20k) - Plugins already integrated into mypy.

Integrations / Mypy plugins

• vim-mypy (⭐100) - Mypy integration for Vim.

Articles / Third-party articles

• Testing mypy stubs, plugins, and types - Full tutorial about testing mypy types.

Related / Third-party articles

• awesome-python (⭐271k) - Curated list of awesome Python frameworks, libraries, software and resources.

• python-typecheckers (⭐69) - List of Python type checkers: static and runtime.