GitHub repository: kframework/kweb
Primary language: Python
Description: Online extensible IDE for the K Framework and other formal verification projects.  Example deployment at http://kframework.org/kweb/