Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.
Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.
MIX is Donald Knuth's mythical computer as described in his monumental work
The Art Of Computer Programming. As any of its real counterparts, the MIX
features registers, memory cells, an overflow toggle, comparison flags,
input-output devices, and a set of binary instructions executable by its
virtual CPU. You can programme the MIX using an assembly language called
MIXAL, the MIX Assembly Language.
The MIX Development Kit offers an emulation of MIX and MIXAL. The current
version of MDK includes the following applications:
- mixasm A MIXAL compiler, which translates your source files into binary
ones, executable by the MIX virtual machine.
- mixvm A MIX virtual machine which is able to run and debug compiled MIXAL
programs, using a command line interface with readline's line editting
capabilities.
- gmixvm A MIX virtual machine with a GTK+ GUI which allows you running and
debugging your MIXAL programs through a nice graphical interface.
- mixvm.el An elisp program which allows you to run mixvm within an Emacs
GUD window, simultaneously viewing your MIXAL source file in another
buffer.
Micro Python is a lean and fast implementation of the Python 3 programming
language that is optimised to run on a microcontroller.
Nickle is a programming language based prototyping environment with powerful
programming and scripting capabilities. Nickle supports a variety of
datatypes, especially arbitrary precision numbers. The programming language
vaguely resembles C. Some things in C which do not translate easily are
different, some design choices have been made differently, and a very few
features are simply missing.
Nickle provides the functionality of Unix bc, dc, and expr in much-improved
form. It is also an ideal environment for prototyping complex algorithms.
Nickle's scripting capabilities make it a nice replacement for spreadsheets
in some applications, and its numeric features nicely complement the limited
numeric functionality of text-oriented languages such as AWK and Perl.
MIT Scheme is a complete programming environment that runs on many
Unix platforms, as well as Microsoft Windows and IBM OS/2. It features
a rich runtime library, a powerful source-level debugger, a
native-code compiler, and an integrated Emacs-like editor.
Mixal is a version the assembler and interpreter for Donald Knuth's
mythical MIX computer, defined in:
Donald E. Knuth, _The Art of Computer Programming, Vol. 1: Fundamental
Algorithms_. Addison-Wesley, 1973 (2nd ed.)
This preliminary release doesn't do floating point and has little
documentation as yet, but it works well enough to be used in conjunction
with the book.
This is a port of MLton, the whole-program optimizing Standard ML
Compiler. MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library. For more
information, go to the MLton home page.
This port contains standard, useful autoconf macros for detecting
OCaml, findlib, OCaml packages, etc.
Mono Basic: Visual Basic Compiler and Runtime.