#
gnat-ada
Here are 10 public repositories matching this topic...
[WIP] Layer to enable gcc ada support
-
Updated
Mar 24, 2024 - BitBake
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
Updated
Jul 6, 2023 - Ada
Port of mini prolog II to Ada-83
retrocomputing
alain-colmerauer
mini-prolog
gnat-ada
prolog-heritage
anatomie-de-prolog
michel-van-caneghem
-
Updated
Sep 2, 2021 - HTML
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit
-
Updated
Jul 3, 2022 - Ada
A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
Jul 1, 2023
Improve this page
Add a description, image, and links to the gnat-ada topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the gnat-ada topic, visit your repo's landing page and select "manage topics."