Harbour is a compiler for the xBase superset language often referred to as
Clipper (the language that is implemented by the CA-Clipper compiler).
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.
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.
The newLISP is a scripting language for developing web applications and
programs in general and in the domains of artificial intelligence (AI) and
statistics.
The newLISP is a scripting language for developing web applications and
programs in general and in the domains of artificial intelligence (AI) and
statistics.
Niklaus Wirth's language Oberon-2 implemented by a german university at
Kaiserslautern. More information about Oberon is available from its
webpage at http://www.oberon.ethz.ch/.
Erlang is a programming language used to build massively scalable soft
real-time systems with requirements on high availability.
This port provides Java integration support for Erlang.
Steel Bank Common Lisp (SBCL) is a Open Source development system for
ANSI Common Lisp. It provides an interactive environment including an
integrated native compiler, interpreter, and debugger.
SIOD is a small-footprint implementation of the Scheme programming
language that is provided with some database, Unix programming and cgi
scripting extensions.
Erlang is a programming language used to build massively scalable soft
real-time systems with requirements on high availability.
This port provides WX bindings for Erlang.