cuda
Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.
Overview
GNAT for CUDA is a toolsuite that enables developers to write GPU-accelerated applications using the Ada and SPARK programming languages. It leverages NVIDIA's CUDA infrastructure to provide familiar GPU programming patterns while benefiting from Ada's safety and reliability features.
Key Features
- Ada and SPARK Support — Compiles code written in Ada and SPARK directly to NVIDIA GPU architectures
- CUDA Integration — Leverages NVIDIA's CUDA toolsuite for GPU programming
- Familiar Programming Model — Follows the same programming principles that CUDA developers are accustomed to
- Safety-Oriented Development — Enables GPU programming with Ada's strong typing and SPARK's formal verification capabilities
Philosophy
The project aims to bring the safety and reliability benefits of Ada and SPARK to GPU programming, making high-performance computing more accessible to developers who prioritize correctness and maintainability.
Related Projects
opencl-adaAn Ada binding for the OpenCL host API
ada-bfdAda BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
boehmgc-adaBoehm GC interface library for gcc-Ada (GNAT)
cuda-adaCUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.