Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.

Master Python typing (type hints) with interactive online exercises!

JSON (de)serialization, GraphQL and JSON schema generation using Python typing.

Rust-like error handling in Python, with type-safety in mind.

Multiple dispatch over abstract array types in JAX.

Opinionated typing package for precise type hints in Python

Declare & parse types / dataclasses / functions based on Python type annotations

Runtime type introspection utilities

Generic schema with full typing support and minimal boilerplate

Library and command-line tool to gather stats on typeshed packages

A library for runtime type analysis, validation, and (un)marshalling.

Python stub backporter

Python classes with types validation at runtime.

A GTK application which searches for word definitions on several languages, showing your definition, pronounce spell and playing an audio pronounce when available.

Update Python typing syntax

Facilitates using beartype runtime type-checking with the AWS SDK.

🏷️ Python typing hints collection for AWS Lambda functions

Convert python-types to "Type-Nodes" (similar to ASTs) in runtime / WIP... / no docs yet (see test-cases for now - sorry)

Enforce annotations in your python code