Wyscript is a project mainly written in JAVA and JAVASCRIPT, it's free.
A derivative of the Whiley language which compiles to JavaScript
Wyscript is a derivative of the Whiley language which compiles to JavaScript. Wyscript supports a flow-sensitive and structural type system, making it extremely flexible.