The Whiley Compiler (WyC)

Benchmark Suite for Whiley

A simple web IDE for running Whiley programs on your computer using a web-browser.

Various documents relating to the Whiley Programming Language.

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 Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes.

Syntax highlighting extension for Whiley programming language

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

⌨️ The Whiley programming language IDE submodule for SNU Programming Tools (2D Mode)

Whiley to Viper transpiler

A set of verification benchmarks which were mined from several well-known books on verification.

📚️ A repository for showcasing my knowledge of the Whiley programming language, and continuing to learn the language.

Aims to produce efficient implemtation for verification friendly Whiley programs.