Synthesizing embedded control software from formal specifications
Eclipse Repository for Code Converters
Powerfull pre-processor
A PEG based parser generator, with advanced features
Parser Generator based on Coco/R
Dataflow parallel programming language for clusters
BPLB is a developing programming language.
Ccide is a Decision Table preprocessor.
Data Access Layer 4 Java
A tool to convert C++ definitions into XML