Chương trình theo maudedotnet.sf.net

Một cổng maude visual C++ .NET. Maude là một ngôn ngữ phản xạ hiệu suất cao hỗ trợ logic phương trình và viết lại. Ban đầu trong C ++ cho Linux, điều này có chứa các dự án Visual Studio và mã bản vá cần thiết để biên dịch Mau