DavePearce / WhileyWeb.rs

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

WhileyWeb.rs

A Rust port of the WhileyWeb system.

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

BSD 3-Clause "New" or "Revised" License

Language:JavaScript 53.8%Language:Rust 16.3%Language:CSS 15.5%Language:HTML 14.4%