[Dokmelody scratchpad notes]
[Main website]
tech/mbeddr-mps-coding-tool
http://mbeddr.com/
A rich coding environment for specifying embembed systems.