prg-titech/Kani-CUDA

A program synthesizer for CUDA like GPGPU language

Racket