#
gnat
Here are 36 public repositories matching this topic...
A curated list of awesome resources related to the Ada and SPARK programming language
awesome
spark
awesome-list
ada
ada-binding
gnat
spark-ada
ada-framework
ada-language
ada-programs
ada-library
-
Updated
May 22, 2024
Ada bindings to the Java 11 Native Interface API.
-
Updated
Jun 11, 2019 - Ada
revised version of c2ada (http://c2ada.sf.net/)
-
Updated
Sep 18, 2022 - C
Documentation for Ada on the Raspberry Pi Pico
-
Updated
Sep 6, 2023 - HTML
Docker image for AdaCore's GNAT Programming Studio (GPS)
-
Updated
Mar 24, 2020 - Dockerfile
Improve this page
Add a description, image, and links to the gnat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gnat topic, visit your repo's landing page and select "manage topics."