Welcome to the Maude Development Tools download page. Here you will find all our public releases of this product.

The Maude Development Tools are a set of plug-ins to embed the Maude system into the Eclipse environment. These tools, comprise two main plugins. The first one (Maude Daemon) encapsulates a Maude process into a set of Java classes. It provides two APIs to control the Maude process in batch or interactive mode. It also configures the Maude process according to the user preferences.

The second plugin, called Maude Simple GUI, is a simple IDE to develop Maude programs with a user friendly graphical interface.

If you are new to the Maude Development Tools you can browse our InfoCenter, where you will find the product description, installation guide and the user manual. You can install them by means of our update site (see the list below), or manually by using the downloadable version (as we describe in our InfoCenter).

Please check the requirements to run the Maude Development Tools.