typechecker topic
hammox
🏝 automated contract testing via type checking for Elixir functions and mocks
kentuckymule
Limits of Scala typechecking speed
alphasql
AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
enforce
Python 3.5+ runtime type checking for integration testing and data validation
pytype
A static type analyzer for Python code
pyre-check
Performant type-checking for python.
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
mypy
Optional static typing for Python
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧