Maude .NET

Brought to you by: jefft0

Add a Review

Downloads: 0 This Week

Last Update: 2013-04-22

Download

Get an email when there's a new version of Maude .NET

Windows

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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Maude .NET

Maude .NET Web Site

Other Useful Business Software

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Rate This Project

User Reviews

Be the first to post a review of Maude .NET!

Additional Project Details

Operating Systems

Windows

Intended Audience

Developers

Programming Language

C++

Registered

2009-10-27

Report inappropriate content

Recommended Projects

maude
Autonomous decentralized moderation for IPFS and Web3.
Maude Development Tools
The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE
tar for windows 1.15.1
gnu tar port in windows visual studio project version 1.15.1
ZintNET - Barcode Library
ZintNET is a .NET port of the popular Zint Library written in C# using Visual Studio 2013 (Community Edition) targeting the .NET 3.5 framework. Now maintained in Github.
Puppeteer Sharp
Puppeteer Sharp is a .NET port of the official Node.JS Puppeteer API. As Puppeteer-Sharp is a NetStandard 2.0 library, The minimum platform versions are .NET Framework 4.6.1 and .NET Core 2.0. The minimum Windows versions supporting the WebSocket library are Windows 8 and Windows Server 2012....