Eclipse integration for Isabelle proof assistant
A Java command line argument parser framework
A Powerful Java Factory Framework
Tries to reimplement the .NET Framework in Java
Gamification of source code and wikis to improve documentation quality
An Eclipse plug-in for the IBM FileNet P8 Content Engine and CMIS
VHDL Design Tool - code generation and project management
Programming Game, A Practice Tool for Building Intelligent Things
openSCADA® is an open source SCADA system written in JAVA
Null dereference verifier for Java Programs
BinBase is a software for the automatic analysis of Massspec data from
An IDE for the programming language whitespace.
Code snippets for learning OSGi programming