A Rust port of the WhileyWeb system.
DavePearce/WhileyWeb.rs
A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.
JavaScriptBSD-3-Clause
A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.
JavaScriptBSD-3-Clause