Agena is an interpreted procedural programming language.
The free computer aided translation (CAT) tool for professionals
fast C++ library for GPU linear algebra & scientific computing
A collection of machine-checkend mathematical proofs
Pioneering Private and Public Cloud Management since 2008
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
Java based Batch scheduling, processing and monitoring framework
Software package for the joint genotyping
Hashing and spatial concurrency library.