org.whiley:wyc-all (maven):  The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files. 
Keywords: compiler|language|verification|whiley