Tool support for the Z formal notation
Drawing, graphics conversion, software development, administration.
BSD licensed ELF toolchain
A powerful macro processor based on python
data transformation and code generation
ODABA is an terminology-oriented database management system and develo
Translates state machine into a target programming language.
Template-based code generation language.
Synthesizing embedded control software from formal specifications
advanced variability management tool
Metaprogramming framework for C++ development with Python bindings
A LALR(1) Parser Generator for JavaScript written in JavaScript
Dataflow parallel programming language for clusters