The Jax JavaScript Library