A software construction tool
Tool support for the Z formal notation
Translates state machine into a target programming language.
Java byte code compatibility analyser
Hub for some ant projects
Lightweight Android development tool. Wraps Ant, 'android' and 'adb'.
Java class file shrinker, optimizer, obfuscator, and preverifier
Task Parallel Engine for JavaSE
Build tool utilizing gradle