A new web programming language with libraries, a virtual machine, and tools