Programas por mdt.sf.net

Las herramientas de desarrollo de Maude son un conjunto de plugins que incrustan el intérprete de maude (http://maude.cs.uiuc.edu) en Eclipse. Proporciona un plugin central, que permite a cualquier programa Java utilizar Maud