Tool support for the Z formal notation
Pequeño IDE para el lenguaje JMEScript.
Computer calculations made easy
API for all possible cellular automata that work same at all angles
Editor for Petri nets
A geometry library for Java
Hand Written Equation Creator