GitHub repository: DavePearce/WhileyWeb
Primary language: JavaScript
Description: A very simple web-interface for editing and compiling Whiley programs from a web-browser.  Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.