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

Official type stubs for SciPy

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

Runtime type introspection utilities

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

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

Higher-Kinded Types in Python: a survey of real-world use cases

Generic schema with full typing support and minimal boilerplate

Python stub backporter

Update Python typing syntax

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.

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

🏷️ Python typing hints collection for AWS Lambda functions