Maude .NET
Download |
Maude
.NET is a port of Maude
to Visual C++ .NET. Maude is a high-performance
reflective language supporting equational and rewriting logic.
Originally in C++ for Linux, this contains the Visual Studio project
and patch code needed to compile Maude for .NET.![]()
|