GitHub repository: Cusymint/cusymint
Primary language: Cuda
Description: CUDA symbolic integration