This is the UWE variant of the Stanford Pintos Operating System
A Version of Maude that provides a websocket API.