Here are
34 public repositories
matching this topic...
A curated list of awesome resources related to the Ada and SPARK programming language
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt
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
Ada language support for VS Code
Ada examples for the Raspberry Pi Pico
Ada bindings for the Microsft WinRT Api
LLVM based GNAT compiler for Xtensa
Various Docker images related to Ada programming language
Updated
Mar 1, 2022
Qt Script
Ada bindings for the notcurses text user interface library
Bingo application in GTKAda
Ada bindings to the Microsoft NetFramework Api
Docker: Ubuntu with GNAT installed
Updated
Feb 11, 2019
Dockerfile
Ada bindings for the Microsoft Win32 Api
An implementation of a Lisp from Build your own Lisp written in Ada 2012.
Ada bindings to the Java 11 Native Interface API.
HelloAda is very simple application that is written in Ada programming language
Docker image for AdaCore's GNAT Programming Studio (GPS)
Updated
Mar 24, 2020
Dockerfile
The GNAT Ada (1995) compiler for UNIX
Documentation for Ada on the Raspberry Pi Pico
Updated
Apr 2, 2022
JavaScript
Ada bindings for Win32 - Generated from the Win32 Metadata
Turku Föllari status printer, in Ada
This is an Ada 2012 library that implements the internet time protocol RFC-3339
Ada Runtime targeting WinRT (ie compatable with Windows Store)
Minimalist examples for using the GNU gnatmake Ada builder
Updated
Apr 28, 2018
Shell
Practicas de Sistemas en Tiempo Real
Fork of reznikmm/gnat from Bitbucket
Updated
Aug 26, 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.
Curate this topic
Add this topic to your repo
To associate your repository with the
gnat
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.