Open-Maude is a hacking version of the Maude System initially developed by SRI-International and the University of Illinois at Urbana-Champaign. It includes Small-Maude, a collateral project implementing a subset of Maude in Groovy
Categories
InterpretersLicense
GNU General Public License version 2.0 (GPLv2)Follow open-maude
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of open-maude!