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.
Deva is a programming language that is small, dynamic, and has some similarities to C and Python. It is designed for embedding in C++ applications, and is also suitable for basic programming tasks. It is written to be as simple as possible, but no simpler. Deva is a multi-paradigm language: it is essentially procedural and imperative, but with support for basic functional and object-oriented idioms.
MBase is a .NET-oriented meta-programming framework. It is designed for rapid development and high quality implementation of custom programming language compilers, but can also serve as a robust and flexible embeddable scripting engine. Applications are not limited to .NET platform, since MBase can be used to implement compilers targeting other platforms - JVM, native assembly, C, etc.
Charm++ is a portable adaptive runtime system for parallel applications. Application developers create an object-based decomposition of the problem of interest, and the runtime system manages issues of communication, mapping, load balancing, fault tolerance, and more. Sequential code implementing the methods of these parallel objects is written in C++. Calls to libraries in C++, C, and Fortran are common and straightforward. Charm++ is portable across individual workstations, clusters, accelerators (Cell SPEs and GPUs), and supercomputers such as those sold by IBM (Blue Gene, POWER) and Cray (XT3/4/5/6). Applications based on Charm++ are used on at least 5 of the 20 most powerful computers in the world.
Eero is a binary-compatible variant of Objective-C 2.0, implemented with a patched version of the Clang/LLVM compiler. It features a streamlined syntax with improved readability and reduced code clutter, as well as new features such as Python-like indentation and a limited form of operator overloading. It is inspired by languages such as Smalltalk and Ruby.
Alore is an object-oriented programming language with a clean syntax that resembles Python and Lua. It is optionally-typed like Google Dart. It is both a dynamic scripting language and a general-purpose language with static typing. It is aimed at most programming tasks, from short scripts to complex applications. It allows programmers to freely mix static and dynamic typing within a program. It has native threads and a very fast edit-test cycle. Programmers can always bypass type checking and run their programs immediately.
LIME is a dynamic programming language with a LISP-like syntax. It features partial function application, eager and lazy evaluation, call-by-value and call-by-reference, macros, reading/writing LIME code as data, a standard library including infinite streams, and an interactive mode with auto-indentation.