proof verifier for mathematical proofs and documentation generator
Library containg a set of various classes for java
Administration tool for JEE applications
Unified Test and Logging layer for multiple programming languages
Transparent Local and Remote Parallelization for Java
Unified desktop and embedded Serial port API