IDE for MiniC, a subset of the C language built on top of the Spoofax Language Workbench.