cuda-ada
Overview
CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model
Related Projects
cudaGNAT 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-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)
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.