GitHub repository: utting/WhileyCompiler
Primary language: Java
Description: The Whiley Compiler (WyC)