arktypeio / arktype

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

beartype / beartype

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

nalexn / ViewInspector

Runtime introspection and unit testing of SwiftUI views