Semantics and tools for JavaScript - View it on GitHub