A web service used by the Sparkler virtual machine monitor - View it on GitHub