Maude Development Tools 2.0.6

Company: mdt.sourceforge.net

Date Added: July 10, 2012 | Visits: 560

Report Broken Link
Printer Friendly Version

Product Homepage
Download (49 downloads)

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

Requirements: No special requirements

Release Date: July 10, 2012

Platforms: Windows, Mac, Linux

Users rating: 0/10

License: Freeware

Size: 4.02 MB

USER REVIEWS

More Reviews or Write Review

MAUDE DEVELOPMENT TOOLS RELATED

Version Control Tools - Heirloom Development Tools 70527 Heirloom Development Tools package provides yacc, lex, m4, make, and SCCS as portable derivatives of the utilities released by Sun as part of OpenSolaris. The OpenSolaris utilities were in turn derived from the original Unix versions, and are...	378.88 KB
Programming - Eclipse Eiffel Development Tools (EDT) 0.1.0 The Eclipe Eiffel Development Tools (EDT) are a set of plugins which eventually implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to...	1.51 MB
Programming - GBA Java Development Tools rc Set of development tools for the Nintendo GameBoy Advance written in Java for maximum flexibility and portability.	48.45 KB
Programming - ODT: OCaml Development Tools 2.2 The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).	1.8 MB
3D Graphic Tools - g3d Graphic Tools 1.2 g3d Graphic Tools project consists of a XML file format and generic development tools for games. The problem is that often as a games developer you need to work with many 3d editing tools and rendering engines, and there should be an easy and...	2.3 MB
Education - EiffelStudio 6.0.6.9141 Eiffel Software offers development tools that make a concrete and immediate difference in how companies produce software. The companys flagship product, EiffelStudio, is available under Dual Licensing: choose between Open Source and commercial.....
Libraries - Gnome Devtool Libraries 0.7.0 Gnome Devtool Libraries project contains components and libraries that are intended to be shared between GNOME development tools, including gnome-debug, gnome-build, and anjuta2. The current pieces of GDL include: - A symbol browser bonobo...	583.68 KB
Programming - ASN.1 Development Tools 1.0 The ASN.1 Development Tools(ADT) is a suit of Eclipse plugins which allow editing, syntax checking of ASN.1 files. Contribution to the asnCompiler extension point can automatically generate C/C++/Java/other language code from ASN.1 files.	3.44 MB
Development Editors - Windows Phone Power Tools 1.4.6 The Windows Phone Power Tools will improve and add new features to the Windows Phone SDK development tools. Instead of allowing you to only install developer xaps the Power Tools let you test update scenarios by allowing you to update an...
Programming - BDM tools 4 Open Source development tools and drivers for Freescale Background Debug Module (BDM) interface.	1.19 MB

NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING

Macintosh Software - EasyEDA PCB Designer for MacOS 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Macintosh Software - VideoSolo Video to GIF Converter (Mac) 1.0.12 How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...	46.51 MB
Macintosh Software - VideoSolo Free Video Converter (Mac) 1.0.18 VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...	75.29 MB
Macintosh Software - ManyCam for Mac 6 ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...	90.49 MB
Macintosh Software - MacX Free Rip DVD to QuickTime for Mac 4.1.9 MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...	36.3 MB
Programming - MacX Free iMovie Video Converter 4.1.8 MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...	22.92 MB
Programming - SwapList 0.1 Alpha Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.	10.24 KB
Programming - Mano 1.05 Beta Mano is a makeFile navigator containing a tree grouping the targets.	20.48 KB
Programming - Workhorse 1.2 Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....	225.28 KB
Programming - PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2 PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...	38.27 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts