#4,586,536 (-34%) - whiley.org
Title: Whiley: an Open Source Programming Language with Extended Static Checking
Description: Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.