typechecking

A JavaScript checker and optimizer.

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

🏝 automated contract testing via type checking for Elixir functions and mocks

A garden of small programming language implementations 🪴

Python command line wrapper for pyright, a static type checker

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

coulomb: unit analysis for Scala

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 programming language. Static types. Full type inference. Garbage collection. --- not stable

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 :).

A webpack plugin allowing to call Flow type checker.

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

Webpack support for validating TypeScript definitions at runtime.

language verification, construction, and analysis

Common predicates for validating objects

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

Checks if JavaScript variable is a number. Strings are not allowed.

Ahnfelt's Type Inference by Example but implemented in Gleam

A functional programming language based on system F (omega) ft. NbE and higher order unification