プログラム maudedotnet.sf.net

モーデから Visual C++ .NET へのポート。Maude は、方程式と書き換えロジックをサポートする高性能の反射言語です。もともとは Linux 用 C++ では、これは.NET 用の Maude をコンパイルするために必要な Visual Studio プロジェクトとパッチ コードが含まれています。