GitHub repository: Geof23/Gklee
Primary language: C++
Description: GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs