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

Optional static typing for Python

Performant type-checking for python.

A static type analyzer for Python code

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance

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! 🚧 🚧 🚧

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

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

Runtime Type Checks for TypeScript

A Python type checker

Limits of Scala typechecking speed

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

🐍 The Mamba programming language, because we care about safety

Higher Kinded Type machinery for Java

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

Validate Method Arguments & Results in Ruby

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

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