maude (hackage): This package provides a simple interface for doing Maude rewrites from within Haskell.
Keywords: language|library|mit