Synthesizing embedded control software from formal specifications
Problemless Grammar and Parser in Java
Providing simple, hassle-free, intuitive Queries
A multi-purpose extensible self-adaptive evolutionary algorithm
A layout and widget editor for Wt (C++ web applications)
Generating PLC programs from formal specifications
Cress is a comprehensive toolset for graphical service/workflow design
Eclipse Repository for Code Converters
a DSL for type systems, reduction rules, interpreters for Xtext langs
PHP Stock Inventory Management System - POS
Database explorer to MySQL, Oracle, Sybase & others. Source maker JSF.
An Eclipse plugin that generates source-code, from a Java based model
Generate Java and PHP database apps from abstract Event-B models.
inter process communication library based on POSIX
GS3 project
Easily create and print codebar labels to any application
VBA add-in for writing TCL/TK code blocks
Powerfull pre-processor
A QVT engine targeting Java