# Type Checkers
- TypeScript - A typed superset of JavaScript that compiles to plain JavaScript.
- Flow.js - A static type checker for JavaScript from Facebook.
- Hegel - A static type checker for JavaScript with a bias on type inference an strong type system.
- TypL - the JavaScript Type Linter with a bias on type inference.
- Hindley Milner Definitions - runtime type checking for JavaScript functions using Haskell-alike Hindley Milner type signatures.