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