microsoft / TypeScript

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

python / mypy

Optional static typing for Python

facebook / pyrefly

A fast type checker and language server for Python

kaleidawave / ezno

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

soutaro / steep

Static type checker for Ruby

ubugeeei-prod / vize

blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.