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.

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.

PyQt5-stubs

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

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.

useful-types

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

typing-extensions

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