Typir is an open source library for type checking in the web - View it on GitHub