Cross-platform tool to build, test and package software
Transpiles/Converts Pascal to Working PHP Source Code
Synthesizing embedded control software from formal specifications
Interactive Environment for Coffee-Script, Jade and Stylus
Generator of MAGIK source files from xmi files. Magik from UML.