typechecking

A JavaScript checker and optimizer.

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

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

coulomb: unit analysis for Scala

A garden of small programming language implementations 🪴

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

Python command line wrapper for pyright, a static type checker

A webpack plugin allowing to call Flow type checker.

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

Webpack support for validating TypeScript definitions at runtime.

language verification, construction, and analysis

Common predicates for validating objects

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

Ahnfelt's Type Inference by Example but implemented in Gleam

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

👨‍💻 Implementing System T in Haskell 👨‍💻

Lua type checker based on Typed Lua

A minimal type checking library that I need in various projects for safer programming