Typing

basedmypy

A Python static type checker built on mypy with stricter defaults, advanced typing features, and baseline error management.

basedpyright

A pyright fork with enhanced Python type checking, improved VS Code support, and built-in Pylance features.

mypy

A static type checker for Python that enforces type hints to catch bugs before runtime.

pyanalyze

A semi-static Python type checker that imports modules to understand dynamic constructs and enable plugin extensions.

pylyzer

A fast static code analyzer and language server for Python, written in Rust, offering type checking and rich editor integration.

pyright

A high-performance, standards-based static type checker for Python with command-line and VS Code support.

pytype

A static type analyzer for Python code that performs type inference and checking using inline annotations and interface files.

pydantic

A Python library for data validation and settings management using Python type hints.

strongtyping

A Python decorator that performs runtime type checking of function parameters and raises TypeMisMatch on invalid calls.

typedpy

A library for type-safe, strict Python structures with JSON schema support and static type checking.

typical

Fast, simple, and correct runtime data validation and enforcement using Python 3 type hints.

trycast

A Python library for parsing JSON-like values using TypedDicts and standard type hints at runtime.

botostubs

Provides up-to-date code assistance and type hints for any boto3 API across all IDEs.

celery-types

Type stubs for Celery and its related packages to enable better type checking in Python projects.

django-stubs

PEP-484 type stubs and a mypy plugin for precise static type checking in Django projects.

djangorestframework-stubs

PEP-484 type stubs and mypy plugin for Django REST Framework to enable static type checking.

grpc-stubs

PEP-561-compliant stub-only package providing type information for gRPC in Python.

lxml-stubs

External type annotations (stubs) for the lxml Python package, enabling static type checking.

PyQt5-stubs

Enhanced type stubs for PyQt5 and related packages to enable accurate static type checking with mypy.

python-phonenumbers-stubs

Type stubs for the phonenumbers and phonenumbers-lite Python libraries, enabling static type checking.

pythonista-stubs

Typed interface stubs for the Pythonista iOS API, enabling better error detection and IDE autocomplete.

scipy-stubs

Provides reliable static type annotations for the entire SciPy library, enabling better IDE support and early error detection.

sqlalchemy-stubs

Mypy plugin and type stubs for SQLAlchemy to enable precise static type checking in Python.

torchtyping

Type annotations and runtime checking for PyTorch tensor shape, dtype, layout, and names.

typeshed

A collection of external type annotations (stubs) for the Python standard library and third-party packages.

meiga

A Python microframework providing a fully typed, monad-based Result type for error handling without exceptions.

option

Rust-like Option and Result types for Python with full typing support and slot optimization.

optype

An opinionated Python typing package providing precise type hints, single-method protocols, exact types, and typed operators.

phantom-types

A Python library for creating phantom types that enforce runtime and static type constraints through predicates.

returns

A Python library for functional programming with typed, safe, and meaningful function returns using monadic containers.

safetywrap

Fully typesafe, Rust-inspired Result and Option wrapper types for Python to handle errors and absent data elegantly.

useful-types

A collection of reusable type definitions, protocols, and type aliases for Python type annotations.

future-typing

Backport for using Python 3.10+ generic type hints and union syntax (|) at runtime in Python 3.6+.

typing-extensions

Backported and experimental type hints for Python, enabling modern typing features on older versions and early access to new proposals.

typing-utils

Backports Python 3.8+ typing utilities and adds issubtype for enhanced type introspection.