TypeScript is a superset of JavaScript that compiles to clean JavaScript...
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 focu...
Static type checker for Ruby
:candy: a functional language for building type-safe, scalable, and main...
Statically typechecks a common SQL dialect and translates it to various ...
A friendly little systems language with first-class types. Very WIP! 🚧 ...
🏝 automated contract testing via type checking for Elixir functions and ...
Python 3.5+ runtime type checking for integration testing and data valid...
Runtime Type Checks for TypeScript
Limits of Scala typechecking speed
JS type check (TypeScript supported) functions like `isPlainObject() isA...
🐍 The Mamba programming language, because we care about safety