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

• UpdatedMar 22, 2025
• TypeScript

Optional static typing for Python

• UpdatedMar 21, 2025
• Python

Performant type-checking for python.

• UpdatedMar 22, 2025
• OCaml

A static type analyzer for Python code

• UpdatedMar 21, 2025
• Python

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

• UpdatedMar 13, 2025
• Rust

Static type checker for Ruby

• UpdatedMar 20, 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

• UpdatedMar 17, 2025
• Python

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

• UpdatedFeb 14, 2025
• TypeScript

Limits of Scala typechecking speed

• UpdatedApr 28, 2021
• Scala

🐍 The Mamba programming language, because we care about safety

• UpdatedNov 3, 2024
• Rust

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

• UpdatedMar 20, 2025
• OCaml

Higher Kinded Type machinery for Java

• UpdatedFeb 28, 2022
• Java

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

• UpdatedAug 3, 2024
• Python

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

• UpdatedMar 16, 2025
• C#

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

• UpdatedMar 3, 2025
• Python