cuda-0.10.0.0: FFI binding to the CUDA interface for programming NVIDIA GPUs