Языки программирования, трансляторы и компиляторы - Whiley

Whiley это язык программирования, который компилируется в байт-код Java и выполняется в JAR-время выполнения на любой JVM, что, в свою очередь, позволяет повторно использовать существующие библиотеки Java.

SDK включает в себя компилятор (wyjc), документацию, инфраструктуру плагинов, дизассемблер и плагин Eclipse.

Сайт разработчика: http://whiley.org/