Tool support for the Z formal notation
Drawing, graphics conversion, software development, administration.
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
A LALR(1) Parser Generator for JavaScript written in JavaScript
Auto generate VS, Codewarrior, Codeblocks, XCode projects
x86 & x64 Brainfuck Compiler
Generates a NetLinx workspace to load a Duet project.