bigFORTH is a native code Forth. It was originally developed on the Atari ST for the Motorola 68k processor and was recently ported to Intel 386, running under a DOS extender (GO32). bigFORTH is available for Linux and Windows 95/98/NT in pre-beta-test. This version is available under GPL. The most striking new feature is the graphical user interface MINOS and the form editor Theseus. MINOS is a graphic user interface (GUI) for X, written for bigFORTH-Linux and bigFORTH-Win32. It includes a rapid GUI developement editor (Theseus).
Bigloo is an implementation of the Scheme programming language. It relies on an optimizing compiler from Scheme to C. Bigloo enables connections between Scheme code and C code. It proposes many extensions to Scheme such as a regular parser compiler, an lalr parser compiler, pattern matching, an object layer, etc.
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.
Gforth is a fast and portable implementation of the ANS Forth language. It works nicely with the Emacs editor, offers some nice features such as input completion and history and a powerful locals facility, and it even has (the beginnings of) a manual. Gforth employs traditional implementation techniques: its inner innerpreter is indirect or direct threaded. Gforth runs under Unix, Win95, OS/2, and DOS and should not be hard to port to other systems supported by GCC.
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
MIT/GNU Scheme is an implementation of the Scheme programming language, providing an interpreter, compiler, source-code debugger, integrated Emacs-like editor, and a large runtime library. MIT/GNU Scheme is best suited to programming large applications with a rapid development cycle. Recent versions of the system are supported on the following platforms: GNU/Linux, *BSD, OS/2, and Windows.
Oberon2 is a simple and safe object-oriented language created by N.Wirth, the author of Pascal and Modula2. It is statically strongly typed and has garbage collection. Most of good ideas incorporated in design of Java were in Oberon2 long before. OOC is an open source project to produce a family of optimizing Oberon2 compilers. The compiler with an ANSI C back-end, oo2c, is quite mature, and provides a complete and convenient Oberon2 development environment. It comes with a rather comprehensive standard library, Code Navigator, and an Emacs mode. It is easy to call C functions and libraries from Oberon2.
Pike is an interpreted, object-oriented, dynamic programming language with a syntax similar to C. It includes a powerful modules system that, for instance, has image manipulation, database connectivity and advanced cryptography. It is simple to learn, does not require long compilation passes and has powerful built-in data types allowing simple and fast data manipulation.