A JVM in TypeScript.