@dspacenet/maudeJavaScript interface to communicate with the Maude System.maude0.1.1 • Published 6 years ago