NOT MAINTAINED - A simple Rust like Result type for Python 3. Fully type annotated.

Python command line wrapper for pyright, a static type checker

Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.

Decorator which checks whether the function is called with the correct type of parameters.

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).

Caching and distributed locks in your applications with just one or two lines. Easy to learn. Fast to code.

Infer Python types from JSON data, use them for auto serialisation and parsing

A simple statically typed programming language

Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.

Structural type checking for Python

Structural type checking for Pandas data frames.

Overloading of functions and methods (including static- and classmethods). Supports complex type hinting. Does not modify original functions, classes and methods.

Pytest plugin for replacing reveal_type() calls with static and runtime type checking result comparison

Python bindings to Google Closure Compiler