Articles

  • No categories

Tags

Actors Arduino Books C++ Clojure Concurrency Design Development Embedded Systems Erlang ESC/Java Flow Typing FPGA Git I/O Implementation Java JavaScript JVM Lisp Loop Invariants Microsoft Papers Performance Python Releases Rust Scala Scoping SmallTalk Spec# Structural Subtyping Syntax Testing Theory Tree Automata Types Typing Value Semantics Verification Video Wyclipse Wyjc Wyjvm WyonePHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 48 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 55 PHP Warning: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead in /am/paramount/vol/ecs/sites/whiley/wp-content/plugins/wp-filebase/classes/ListTpl.php on line 56

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. 13 Downloads, 2.9 MB.
BSD License
wdk-src-v0.3.40
Created on May 27, 2016. 129 Downloads, 4.4 MB.
BSD License
wdk-src-v0.3.39
Created on March 11, 2016. 92 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.38
Created on January 29, 2016. 80 Downloads, 4.3 MB.
BSD License
wdk-src-v0.3.37
Created on December 16, 2015. 120 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. 129 Downloads, 2.1 MB.
BSD License
wyjc-all-v0.3.40
Created on May 27, 2016. 282 Downloads, 2.5 MB.
BSD License
wyjc-all-v0.3.39
Created on March 11, 2016. 268 Downloads, 2.3 MB.
wyjc-all-v0.3.38
Created on January 29, 2016. 281 Downloads, 2.4 MB.
BSD License
wyjc-all-v0.3.37
Created on December 16, 2015. 320 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. 315 Downloads, 3.0 MB.
BSD License
wybench-v0.1.6
Created on January 24, 2012. 771 Downloads, 5.8 MB.
BSD License
wybench-v0.1.5
Created on December 2, 2011. 755 Downloads, 5.8 MB.
BSD License
wybench-v0.1.4
Created on July 31, 2011. 779 Downloads, 3.5 MB.
Freeware
wybench-v0.1.3
Created on July 6, 2011. 793 Downloads, 2.2 MB.
BSD License
1 2