A static type checker for JavaScript. Stricter than Flow and TypeScript with better type inference. Does not extend the language.