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.
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.
f2py is a command line tool for binding Python and Fortran code. It scans Fortran 77/90/95 code and generates a Python C/API module that makes it possible to call Fortran routines and to access Fortran data (COMMON blocks and Module data) from Python. No Fortran or C expertise is required for using this tool.
The Free Pascal Compiler is a Turbo Pascal 7.0 and Delphi-compatible 32/64 bit Pascal Compiler. It comes with a fully TP 7.0-compatible run-time library. Some extensions have been added to the language, like function overloading. Shared libraries can be linked. Basic Delphi support is implemented with classes, exceptions, RTTI, and ansistrings. A Free Component Library (FCL) is available with the base classes. Bindings for X11, ncurses, GTK, OpenGL, zlib, mysql, interbase and postgres are available.
The Information System Development Kit gives the developer a platform-independent method of creating Information Systems with data forms, SQL database access, database-browsing support, report generator and many other useful features. ISDK is now in a development stage and it is available only for the Linux operating system. The form module now works on text terminals using the ncurses library (not functional right now), and on the X-Window system using the GTK+ toolkit.
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.