Programas por maudedotnet.sf.net

Uma porta de Maude para Visual C++ .NET. Maude é uma linguagem reflexiva de alto desempenho que apoia a lógica equação e reescrita. Originalmente em C++ para Linux, este contém o projeto Visual Studio e o código de patch nece