AMC is a programmable compiler/preprocessor. It has a built-in programming language called CGL (Code Generation Language) that lets you add new syntactical elements to the source files that AMC processes. In addition, AMC has a module structure reminescent of the UCSD p-System compiler. AMC comes with a default package that adds a dynamic form of OOP to C.
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).
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.
CMUCL is a free, high performance implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. CMUCL provides a sophisticated native code compiler; a powerful foreign function interface; an implementation of CLOS; the Common Lisp Object System; which includes multimethods and a metaobject protocol; a source-level debugger and code profiler; and an Emacs-like editor implemented in Common Lisp. CMUCL is maintained by a team of volunteers collaborating over the Internet, and is mostly in the public domain.
Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
Euphoria is a simple, flexible, easy-to-learn programming language. It lets you quickly and easily develop programs for Windows, Linux, FreeBSD, NetbSD, OpenBSD, and Mac OS X. Although Euphoria provides subscript checking, uninitialized variable checking, and numerous other run-time checks, it is extremely fast and has the ability to compile to transparently compile native executables via C code.
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.