프로그램별 maudedotnet.sf.net

시각적 C ++ .NET에 Maude의 포트. Maude는 방정식 및 재작성 논리를 지원하는 고성능 반사 언어입니다. 원래 리눅스에 대 한 C++, 이것은 비주얼 스튜디오 프로젝트 및 .NET에 대 한 Maude를 컴파일 하는 데 필요한 패치 코드를 포함.