Programma's van maudedotnet.sf.net

Een port van Maude naar Visual C++ .NET. Maude is een krachtige reflecterende taal die vergelijkings- en herschrijflogica ondersteunt. Oorspronkelijk in C++ voor Linux, bevat dit het Visual Studio project en patchcode die nod