Ports 搜索

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.