/WhileyWeb.rs

A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.

Primary LanguageJavaScriptBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

WhileyWeb.rs

A Rust port of the WhileyWeb system.