Programmi di maudedotnet.sf.net

Porta di Maude a Visual C++ .NET. Maude è un linguaggio riflettente ad alte prestazioni che supporta la logica equazionale e riscrittura. Originariamente in C++ per Linux, contiene il progetto Visual Studio e il codice patch