Maude .NET

Brought to you by: jefft0

Downloads: 0 This Week

Last Update: 2013-04-22

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

MongoDB Atlas runs apps anywhere Icon

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Intended Audience

Developers

Programming Language

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
Extreme Ext JS Theme Builder
Ext JS Builder with Extreme enhancements. The Static Library for ImageMagick is needed to compile this code. The project included in this source code is designed for Microsoft Visual Studio C++ solution.
Metatheory.jl
Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational...
vbChess
A chess game written in Visual Basic .Net (Visual Studio 2010), pvp.