GNAT for CUDA

GNAT for CUDA® is a toolsuite that compiles Ada and SPARK code directly to NVIDIA GPUs. We leverage the CUDA toolsuite provided by NVIDIA in order to create a toolsuite that follows the same programming principles that CUDA developers are familiar with, while providing access to these mechanisms through the Ada and SPARK programming languages.

Documentation

Full documentation of the GNAT for CUDA project can be found in folder doc. Use the commands below to build the html version

cd doc
make hmtl

Or consult documentation of the makefile to see additional build options

cd doc
make help

Status

Beta

Quickstart

See the installation instructions provided in the documentation, doc/installation.rst in particular.