microsoft / TypeScript

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

python / mypy

Optional static typing for Python

arktypeio / arktype

TypeScript's 1:1 validator, optimized from editor to runtime

google / closure-compiler

A JavaScript checker and optimizer.

facebook / pyrefly

A fast type checker and language server for Python

beartype / beartype

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

kaleidawave / ezno

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

nalexn / ViewInspector

Runtime introspection and unit testing of SwiftUI views

swc-project / swc-node

Faster ts-node without typecheck

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.