Whiley2JavaScript Provides support for compiling Whiley programs in JavaScript. See http://whiley.org for more information on Whiley.