A+ is a powerful and efficient programming language. It embodies a rich set of functions and operators, a modern GUI with many widgets and automatic synchronization of widgets and variables, asynchronous execution of functions associated with variables and events, dynamic loading of user compiled subroutines, and many other features. Execution is by a rather efficient interpreter.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Narval is a framework dedicated to the setting up of intelligent personal assistants (IPAs). It includes a language, an interpreter, and a GUI/IDE. It is based on artificial intelligence and agent technologies. It executes recipes (sequences of actions) to perform tasks. It is easy to specify new actions using XML and to implement them using Python. Recipes can be constructed graphically (without programming) by linking blocks representing the actions.
R is a language and environment for statistical computing and graphics. It is similar to S, which was developed at Bell Laboratories by John Chambers et al. It provides a wide variety of statistical and graphical techniques (linear and nonlinear modelling, statistical tests, time series analysis, classification, clustering, etc.). R is designed as a true computer language with control-flow constructions for iteration and alternation, and it allows users to add additional functionality by defining new functions. For computationally intensive tasks, Fortran and C code can be linked and called at run time.
ROOT is an OO framework for large-scale scientific data analysis and data mining. It contains an efficient hierarchical OO database, a C++ interpreter, advanced statistical analysis, visualization, introspection, documentation, networking, and GUI classes. The command/scripting language is C++, and large scripts can be compiled and dynamically linked in. Using the PROOF (Parallel ROOT Facility) extension, large databases can be analyzed in parallel. The system runs on all known POSIX platforms, Windows, and MacOS X.
A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.