Awesome

Whiley2JavaScript

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