GitHub repository: samminweng/WhileyOpenCL
Primary language: Java
Description: Aims to produce efficient implemtation for Whiley programs.