Another typechecker for Hack, built by Slack - View it on GitHub