cuda
Ada
Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.
25 stars6 forks0 contributors
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
Community-curated · Updated weekly · 100% open source
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.
