The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Maude Development Tools

Maude Development Tools Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Maude Development Tools!

Additional Project Details

Intended Audience

Developers, Education, End Users/Desktop, Science/Research

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Integrated Development Environments (IDE), Java Interpreters

Registered

2008-12-04