https://github.com/prg-titech/kani-cuda
A program synthesizer for CUDA like GPGPU language
https://github.com/prg-titech/kani-cuda
cuda racket
Last synced: about 1 month ago
JSON representation
A program synthesizer for CUDA like GPGPU language
- Host: GitHub
- URL: https://github.com/prg-titech/kani-cuda
- Owner: prg-titech
- Created: 2016-10-05T04:19:06.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-08-19T20:54:26.000Z (almost 6 years ago)
- Last Synced: 2023-03-06T12:57:15.514Z (over 2 years ago)
- Topics: cuda, racket
- Language: Racket
- Size: 18.9 MB
- Stars: 8
- Watchers: 6
- Forks: 0
- Open Issues: 2