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