Tarafından Programlar maudedotnet.sf.net

Maude'nin Visual C++ .NET bağlantı noktası. Maude, denklemi destekleyen ve mantığı yeniden yazan yüksek performanslı yansıtıcı bir dildir. Başlangıçta Linux için C++ olarak, bu Visual Studio proje ve yama kodu .NET için Maude