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

• UpdatedJul 17, 2025
• TypeScript

Optional static typing for Python

• UpdatedJul 18, 2025
• Python

Performant type-checking for python.

• UpdatedJul 18, 2025
• OCaml

A static type analyzer for Python code

• UpdatedJun 23, 2025
• Python

A fast type checker and IDE for Python

• UpdatedJul 18, 2025
• Rust

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

• UpdatedJul 17, 2025
• Rust

Static type checker for Ruby

• UpdatedJul 18, 2025
• Ruby

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

• UpdatedJul 13, 2020
• F#

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

• UpdatedMay 16, 2021
• Rust

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

• UpdatedNov 30, 2023
• Elixir

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

• UpdatedJun 2, 2024
• Python

Runtime Type Checks for TypeScript

• UpdatedNov 10, 2020
• TypeScript

A Python type checker

• UpdatedJul 14, 2025
• Python

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

• UpdatedJul 3, 2025
• TypeScript

Limits of Scala typechecking speed

• UpdatedApr 28, 2021
• Scala

🐍 The Mamba programming language, because we care about safety

• UpdatedJul 16, 2025
• Rust

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

• UpdatedMay 22, 2025
• OCaml

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

• UpdatedMay 19, 2025
• Python

Higher Kinded Type machinery for Java

• UpdatedFeb 28, 2022
• Java

TypeScript & Go inspired open-source public research project written in C#

• UpdatedMay 12, 2025
• C#