A software construction tool
Tool support for the Z formal notation
Translates state machine into a target programming language.
Low Code Platform for Enterprises
Java byte code compatibility analyser
Hub for some ant projects
Lightweight Android development tool. Wraps Ant, 'android' and 'adb'.
Software build-automation tool written in Common Lisp
Java class file shrinker, optimizer, obfuscator, and preverifier
Task Parallel Engine for JavaSE