OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
XSLT-process is a minor mode for (X)Emacs that allows you to run a Java XSLT processor on a buffer and display the result in another buffer, or in a browser. You can also run the XSLT processor in debugging mode, setup breakpoints, run step by step, view local and global XSLT variables, and many more.
Gamma is a dynamically-typed, object-oriented, interpreted programming language that has been designed and optimized to reduce the time required for building applications. It supports the QNX/Photon and Linux/GTK GUI environments, and has a built-in library of over 300 functions. It cuts development times and offers run-time debugging by wedding a C-like syntax to a Lisp interpreter that has been optimized specifically for performance and memory usage.
The bintrans Dynamic Binary Translator is a dynamic binary translator which runs programs on architectures they were not compiled for. It does this by dynamically translating the machine code of the programs to be run to machine code for the native architecture. It currently translates from i386 to PowerPC and from PowerPC to Alpha.
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. It is intended as a programming environment for prototyping numerically intensive applications. Unlike alternatives like Python or SciLab, Lush is designed for easy integration of existing C/C++/Fortran codes.