Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
-
Updated
Jun 20, 2023 - Python
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
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.
Declare & parse types / dataclasses / functions based on Python type annotations
Runtime type introspection utilities
Python classes with types validation at runtime.
Library and command-line tool to gather stats on typeshed packages
Update Python typing syntax
Facilitates using beartype runtime type-checking with the AWS SDK.
Generic schema with full typing support and minimal boilerplate
A GTK application which searches for word definitions on several languages, showing your definition, pronounce spell and playing an audio pronounce when available.
🏷️ Python typing hints collection for AWS Lambda functions
Enforce annotations in your python code
Convert python-types to "Type-Nodes" (similar to ASTs) in runtime / WIP... / no docs yet (see test-cases for now - sorry)
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
MOVED. Provides support for boto3 with beartype runtime type-checking.
The Desktop Application for my schedule-generator algorithm, allowing users to easily interact with the algorithm and its variables to generate schedules as documents for students individually as well as the master timetable
Add a description, image, and links to the python-typing topic page so that developers can more easily learn about it.
To associate your repository with the python-typing topic, visit your repo's landing page and select "manage topics."