Eclipse integration for Isabelle proof assistant
Tries to reimplement the .NET Framework in Java
Provides data binding from various data sources to TestNG test methods
GEPETTO (GEne Prioritization ExTended TOol)
Automated Testing for Web Applications
Java validation framework (not JSR-303 implementation).
Perform anonymous and non-anonymous pentesting.
Open source Extract Transform Load engine written in Java
SCRUM project management
Behavior-Based Robotics framework
Java framework GUI ( based Swing )
UI components for apache wicket
Business Application Construction Kit