A collection of tools for HTML5 web app development