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.
Keystone is a cross-platform, object oriented application framework which allows applications to be written to build on the target platforms of GNU/Linux and Win32 without modification of their source. Keystone implements several modern Web standards, including SVG graphics and the XUL user interface description language.
Sh is a programming language built on top of C++. It can be used to write shaders that run on top of modern graphics processing units (GPUs), or write stream programs that run on GPUs or CPUs. It is implemented as a C++ library, and allows programs to be generated at run-time using a number of metaprogramming techniques. Variants of programs for different cases can easily be generated, or programs can be generated entirely at run-time from some input data. The system is cleanly separated into a frontend and backend, and is hence portable.
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.
XPLC is a component system that tries to enable the use of components in a pervasive way. It aims to be easy to use, have low speed and size overhead, and be language and platform neutral. Basically, the idea is to leave no excuse for an application not to be component-enabled (being a component and/or using components).