An object relational-mapping (ORM) library for Java
Symja - Java computer algebra language & symbolic math library
A Stata plugin for connecting Stata with other software
open-source, flexible Business Process Management (BPM) in Java
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
proof verifier for mathematical proofs and documentation generator
ISO - Customized version of dcm4chee 2.17.3 for MySQL.
keyword search engine for semi-structured data (Tables, lists,...)