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.

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

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

Python classes with types validation at runtime.

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

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

🏷️ 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)

Generic schema with full typing support and minimal boilerplate

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

Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright

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 indivually as well as the master timetable

MOVED. Provides support for boto3 with beartype runtime type-checking.

🏷️ Stubs for AWS Lambda Python Runtime Interface Client(awslambdaric)

🐒 smth like JS undefined but in Python

[APP] A web app for generating and decoding qr code built with python-flask.

Stub files for python packages generated using Intellij IDEA PSI.

Typing speed game made in python with tkinter and pygame. Measures typing speed of a person and tells if its average, below averaage or above average. At the end of game tells you your wpm speed.