Type checker for plain JavaScript, with full type inference and no transpilation - View it on GitHub