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.

nalexn / ViewInspector

Runtime introspection and unit testing of SwiftUI views