Roadsend PHP produces optimized stand alone applications, libraries, and Web applications from standard PHP source code. The compiler produces native machine code, not PHP byte code, so no interpreter is required. It is a new implementation of the PHP language and runtime environment compatible with Zend PHP. It does not share any code with the original PHP implementation.
Factor is a dynamically-typed stack-based programming language. Factor runs on various OSes and CPU architectures, and provides an optimizing compiler, interactive development environment, powerful collections, higher order programming, continuations, and a growing library of contributed code.
Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.
AFNIX is a multi-threaded functional writing system with dynamic symbol bindings that support the object oriented paradigm. It has a rich set of features providing runtime compatibility with C++. The engine runs on both 32- and 64-bit platforms, and it is designed to be portable across platforms.
Yazoo is an interpreted command-line scripting language used for executing co-compiled C routines and managing their data. The language itself has some novel features. Variables, sets, and functions are equivalent and arguments to functions can interact dynamically with the function. The code is machine-independent and easily extensible by anyone with a C compiler.
Stratego/XT is a development environment for creating stand-alone transformation systems. It combines Stratego, a language for implementing transformations based on the paradigm of programmable rewriting strategies, with XT, a collection of reusable components and tools for the development of transformation systems. In general, Stratego/XT is intended for the analysis, manipulation, and generation of programs, though its features make it useful for transforming any structured documents. In practice, it has been used to build many types of transformation systems including compilers, interpreters, static analyzers, domain-specific optimizers, code generators, source code refactorers, documentation generators, and document transformers.