Tool support for the Z formal notation
Development toolkit for Web Services and XML data bindings for C & C++
Another drawing editor for LaTeX with PSTricks & TikZ
ODABA is an terminology-oriented database management system and develo
Drawing, graphics conversion, software development, administration.
A powerful macro processor based on python
data transformation and code generation
Ada binding for GNOME ORBit CORBA ORB
A New Programming Language for FPGA Projects
Translates state machine into a target programming language.
Java class file shrinker, optimizer, obfuscator, and preverifier
Vector drawing program for LaTeX using PSTricks
C++ CASE tool, full life cycle code generator
Easily turn UML models into code