Articles

Downloads

Development Kit

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.

wdk-v0.4.0
Created on November 24, 2016. 94 Downloads, 2.9 MB.
BSD License
wdk-src-v0.3.40
Created on May 27, 2016. 184 Downloads, 4.4 MB.
BSD License
wdk-src-v0.3.39
Created on March 11, 2016. 131 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.38
Created on January 29, 2016. 117 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.37
Created on December 16, 2015. 162 Downloads, 2.9 MB.
BSD License
1 2 3 10

Executable Jar

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.

wycc-all-v0.4.0
Created on November 24, 2016. 225 Downloads, 2.1 MB.
BSD License
wyjc-all-v0.3.40
Created on May 27, 2016. 358 Downloads, 2.5 MB.
BSD License
wyjc-all-v0.3.39
Created on March 11, 2016. 333 Downloads, 2.3 MB.
wyjc-all-v0.3.38
Created on January 29, 2016. 343 Downloads, 2.4 MB.
BSD License
wyjc-all-v0.3.37
Created on December 16, 2015. 391 Downloads, 2.4 MB.
BSD License
1 2 3 9

Benchmark Suite

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.

wybench-v0.1.7
Created on May 7, 2014. 371 Downloads, 3.0 MB.
BSD License
wybench-v0.1.6
Created on January 24, 2012. 815 Downloads, 5.8 MB.
BSD License
wybench-v0.1.5
Created on December 2, 2011. 794 Downloads, 5.8 MB.
BSD License
wybench-v0.1.4
Created on July 31, 2011. 808 Downloads, 3.5 MB.
Freeware
wybench-v0.1.3
Created on July 6, 2011. 829 Downloads, 2.2 MB.
BSD License