A very simple web-interface for editing and compiling Whiley programs from a web-browser. This version is suited for use on a personal computer.
This is an easy-to-use WhileyWeb setup for personal use. You may run it by executing src/server.cgi and navigating to localhost:8080.