There are 0 repository under whiley topic.
Various documents relating to the Whiley Programming Language.
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.
The WDK build system is responsible for curating and building releases of the Whiley Programming Language. This includes obtaining necessary dependencies, building documentation, etc.
📚️ 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)
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