Whiley ist eine Programmiersprache mit Verfeinerungstypen, erweiterten statischen Prüfungen und einer auf Einrückungen beruhenden Syntax. Sie wird in Java-Bytecode übersetzt und läuft mit ihrer Laufzeitumgebung unter einer Java-VM. Das macht es möglich, existierende Java-Bibliotheken zu verwenden. Das SDK enthält einen Compiler, Dokumentation, ein Plugin-Framework, einen Disassembler und ein Eclipse-Plugin. (non)