Optional static typing for Python

A static type analyzer for Python code

Collection of library stubs for Python, with static types

Python TUI framework with mouse support, modular widget system, customizable and rapid terminal markup language and more!

Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use

Python static typing home. Hosts the documentation and a user help forum.

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

Smassh your Keyboard, TUI Edition

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

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Yet another serialization library on top of dataclasses, inspired by serde-rs.

Mypy plugin and stubs for SQLAlchemy

Python 3.5+ runtime type checking for integration testing and data validation

Typed argument parser for Python

🪄 Auto-generate Streamlit UI from Pydantic Models and Dataclasses.

Command line tool for improving typing skills (programmers friendly)

Typing speed test in terminal

An extremely flexible and configurable data model conversion library.

Runtime inspection utilities for Python typing module

A Python type checker