@dspacenet/maude (npm): JavaScript interface to communicate with the Maude System.
Keywords: maude