The Whiley Development Kit (WDK) contains all the necessary files to compile and execute Whiley programs. It also includes the full source code for the Whiley Compiler.
The executable jar is the easiest way to try out the Whiley-to-Java compiler. It contains everything needed to compile and run Whiley programs on the JVM.
The benchmark suite contains a number of “real-world” programs written in Whiley. The purpose of the suite is provide more realistic tests for the compiler, and to provide a standard set of programs to use for reporting experimental results.