The Strobe Type Checker for JavaScript - View it on GitHub