Tool support for the Z formal notation
Software development for 4Mb portable, using Z80 CPU and AA batteries
Compose Software Without Writing Any Programing Code
Java class file shrinker, optimizer, obfuscator, and preverifier
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
XMLUnit provides assertions that help testing code that produces XML.
exe-wrapper for Java applications written in C#
Interactive communication boards for people with severe disabilities.
Compose build options with the declarative UI