Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation - View it on GitHub