Proximus is an Electronic System Level (ESL) design environment.
Easily install, upgrade and uninstall open source software on your Mac
Next Scripting Framework (NSF)
A C extension to Tk that provides functionality to modify images
Open Design and Integration Environment
domes, vaults and eggs - program to create 3D models and plans
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs