SPIN-based Eclipse Model Checking Plugin
PetriNetExec a library for embedding Petri Nets into Java applications
metronome that SHOWS the beats and sub-beats
Hcmone human resource
A free, easy-to-use and user-friendly Java-based UML editor.
Java library to work with scalar arrays as usual Collections
Visual graph creator for LaTeX (PGF & TikZ)
JavaBot allows people to easily implement their own IRC bots.
Object metadata for Java: Dynamic Annotations implementation
Functional Test Automation tool for pure AS 3.0 SWF and Flash Games
A framework that translate name-based pointcut to analysis-based ones
Open-source traffic analyzer / visualizer
z390 Portable Mainframe Assembler and Emulator
DAOGenerator automatically generates dao classes for Jee web apps
OpenSource software to run BattleTag hardware.
Java3D Scene Creator
A WordSearch implemented in Java. Coding finished.
Uses GraphViz to draw UML class diagrams
A tool to handle multi-stage mass spectrometry data