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