Programmes par maudedotnet.sf.net

Un port de Maude à Visual C++ .NET. Maude est un langage réfléchissant performant soutenant la logique équationnelle et réécriture. Initialement en C++ pour Linux, il contient le projet Visual Studio et le code patch nécessai