Programas por maudedotnet.sf.net

Uma porta de Maude para Visual C++ .NET. Maude é uma linguagem refletora de alto desempenho que suporta a lógica equacional e reescrita. Originalmente em C++ para Linux, este contém o projeto Visual Studio e o código de patch