Whiley: an Open Source Programming Language with Extended Static Check

- whiley.org

Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.

6,716,794 $ 240.00