Generates Random Test Data
proof verifier for mathematical proofs and documentation generator
Electronic Data Tags value storage API For java.
General purpose matrix utilities for Java in Parallel Computing
Object relational mapper
Eclipse search by XPath
a selenium framework
Quality-Check is a small Java library for basic runtime checks of vars
Agilo™ - The Agile Enforcement Office Suite
A 100% Java Warren Abstract Machine implementation.
Dynamically generated unit tests for basic verifications.