GitHub repository: mc-imperial/gvki
Primary language: C++
Description: GPUVerify OpenCL Kernel Interceptor