Python > Typing

Based static typing with baseline functionality.

Pyright fork with improvements to VSCode support and various other fixes.

Extensible static analyzer and type checker.

A fast static code analyzer & language server for Python, written in Rust.

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.

An extremely fast Python type checker, written in Rust, from the creators of Ruff and uv.

Plugin for flake8 to validate annotations complexity.

Plugin for flake8 to check for presence of type annotations in function definitions.

Plugin for Flake8 that provides specializations for type hinting stub files.

Plugin to help you guard any type-annotation-only import correctly.

Plugin which checks that typing imports are properly guarded.

flake8 plugin that helps identify which imports to put into type-checking blocks, and how to adjust your type annotations once imports are moved.

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

The strictest and most opinionated Python linter ever.

Extremely fast linter which supports lint rules from many other lint tools, such as flake8.

Test mypy plugins, stubs, custom types.

Pytest plugin for testing mypy types, stubs, and plugins.

Pytest plugin to test mypy static type analysis.

Mypy static type checker plugin for Pytest.

Tool for translation of type comments to type annotations.

Unbearably fast O(1) runtime type-checking in pure Python.

Data parsing using Python type hinting. Supports dataclasses.

Provides a rich set of utilities for runtime typechecking.

Decorator which checks whether the function is called with the correct type of parameters.

Type-safe, strict Python. Works well with standard Python.

Another one runtime type checker.

Data parsing and automatic type-coercion using type hinting. Supports dataclasses, standard classes, function signatures, and more.

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

ASGI specification, provides asgiref.typing module with type annotations for ASGI servers.

Stubs for boto3.

Gives you code assistance for any boto3 API in any IDE.

Type stubs for Celery and its related packages django-celery-results, ampq, kombu, billiard, vine and ephem.

Stubs for Django.

Stubs for DRF.

Stubs for grpc.

Stubs for lxml.

Stubs for PyQt5.

Stubs for phonenumbers.

Stubs for Pythonista.

Stubs for SciPy.

Stubs for SQLAlchemy.

Enhanced type annotations for PyTorch.

Stubs for aiobotocore.

Collection of library stubs, with static types.

Type stubs for Celery and its related packages django-celery-results, ampq, kombu, billiard, vine and ephem.

Stubs for aiobotocore.

Simple, typed and monad-based Result type.

Rust like Option and Result types.

Opinionated collections.abc and operators alternative: Flexible single-method protocols and typed operators with predictable names.

Phantom types.

Make your functions return something meaningful, typed, and safe.

Fully typesafe, Rust-like Result and Option types.

Length-bounded types, dynamic object validation.

Collection of useful protocols and type aliases.

Backport for type hinting generics in standard collections and union types as X | Y.

Backported and experimental type hints.

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

Mypy integration for Emacs.

Online playground for mypy.

Mypy integration for PyCharm.

PyRight integration for VSCode.

Mypy integration for Vim.

Run type checkers (e.g. Mypy) on Jupyter Notebooks.

A set of examples to learn optional static typing in Python.