Online extensible IDE for the K Framework and other formal verification projects.  http://fsl.cs.uiuc.edu/tool for a demo running K.