cuda-ada

0 stars0 forks0 contributors

Overview

CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model

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.

Submit a project Star on GitHub

Created

Links & Resources

Website

Included in

Ada/SPARK821

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.

Stars25

Forks6

Last commit1 year ago

opencl-ada

An Ada binding for the OpenCL host API

Stars17

Forks5

Last commit12 years ago