facebook / pyrefly

A fast type checker and language server for Python

carthage-software / mago

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

beartype / beartype

Unbearably fast near-real-time pure-Python runtime-static type-checker.

silq-lang / silq

Silq quantum programming language type checker, compiler, and experimental interpreter.