Tool support for the Z formal notation
A software construction tool
A SUpport MOdule manager for EPICS
A powerful macro processor based on python
Cobol Cross reference tool for GnuCobol written in Cobol
Java byte code compatibility analyser
Translates state machine into a target programming language.
C/C++ system probe, test and automation toolkit
Template-based code generation language.
Visual Studio .vc[x]proj to CMakeLists.txt (make, Ninja ...) enabler
GNU make compatible but reliable and simpler build tool