14 results for “topic:whiley”
The Whiley Compiler (WyC)
Various documents relating to the Whiley Programming Language.
Benchmark Suite for Whiley
Aims to produce efficient implemtation for verification friendly Whiley programs.
The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.
A simple web IDE for running Whiley programs on your computer using a web-browser.
📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.
⌨️ The Whiley programming language IDE submodule for SNU Programming Tools (2D Mode)
The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.
🌳️🌐️#️⃣️ The Bliss Browser Whiley language support module, allowing Whiley programs to be written in and ran within the browser.
Whiley to Viper transpiler
A set of verification benchmarks which were mined from several well-known books on verification.
A Rust port of the WhileyWeb system. This allows Whiley programs to be edited, compiled and executed from a single webpage.
Syntax highlighting extension for Whiley programming language