Tool support for the Z formal notation
JaxoDraw: Feynman Diagrams made easy!
Toolkit for working with and mapping geospatial data
Eclipse-based IDE for design verification tasks
Find the best suited cloud provider and deployment for your software
The Repast Suite is a family of free agent-based modeling libraries.
Modeling and Simulation made NiCE!
Bit level lambda continuations and nothing else - Queue automata
VOpR - a virtual optical rail
Java (6&7) Code Coverage Plugin for NetBeans, based on JaCoCo
openSCADA® is an open source SCADA system written in JAVA
a Scratch Interface for Lego NXT
Artificial intelligence evolves musical instruments played with mouse