cuda-ada

cuda

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.

opencl-ada

An Ada binding for the OpenCL host API

ada-bfd

Ada 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-ada

Boehm GC interface library for gcc-Ada (GNAT)