CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
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.
An Ada binding for the OpenCL host API