A C/D/Java style programming language with built in support for concurrent programming (microthreads, actor model). It is implemented as a LLVM front end to allow for native X86 high performance code generation.
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
Tingo is a cross-platform, high-performance GUI library with D programming language providing features similar to (and modelled on) core Java or C# facilities