A JavaScript checker and optimizer.

A fast type checker and language server for Python

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.

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

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.

Webpack support for validating TypeScript definitions at runtime.

language verification, construction, and analysis

Lovable memory-safe systems language with a pretty fast compiler

Common predicates for validating objects

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

Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation