TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Optional static typing for Python

Performant type-checking for python.

A fast type checker and language server for Python

A static type analyzer for Python code

A fast and correct TypeScript type checker and compiler with additional experiments

Static type checker for Ruby

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

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

Unofficial High-Performance Vue.js Toolchain in Rust

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

Runtime Type Checks for TypeScript

A Python type checker

Elegant types in Ruby

JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.

Limits of Scala typechecking speed

🐍 The Mamba programming language, because we care about safety

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

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

TypeScript & Go inspired small interpreted programming language written in C#. The interpreter built with DDD principles and Clean Architecture. Implementation powered by Source Generators

Higher Kinded Type machinery for Java

A package for type-checking the URLs and associated views for Django

Valype = Validate + Type. Automatically generates runtime validators from TypeScript type definitions with unplugin integration.

Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.

Validate Method Arguments & Results in Ruby

AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery

Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)

Use Erlang typespecs in the runtime

Compositional type checking for Haskell