Shade is an Object-Oriented, Shader-based, Distributed Scene Graph. Designed using C++ (with optional Lua bindings), OpenGL, and MPI, Shade allows the creation of applications that work on a single machine and on a tiled display.
A choreography programming language for concurrent systems
...Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!