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) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

Ada examples for the Raspberry Pi Pico

Ada bindings for the notcurses text user interface library

Ada bindings for the Microsft WinRT Api

revised version of c2ada (http://c2ada.sf.net/)

Various Docker images related to Ada programming language

Bingo application in GTKAda

Ada bindings to the Java 11 Native Interface API.

Ada bindings to the Microsoft NetFramework Api

The GNAT Ada (1995) compiler for UNIX

Ada bindings for the Microsoft Win32 Api

Docker: Ubuntu with GNAT installed

An implementation of a Lisp from Build your own Lisp written in Ada 2012.

HelloAda is very simple application that is written in Ada programming language

A small subset of Ada targeting embedded systems.

Tests of GPR aggregates of GPR libraries

[WIP] Layer to enable gcc ada support

Ada Runtime targeting WinRT (ie compatable with Windows Store)

you already know

A game demo for the Pimoroni Picosystem

The GNAT Ada (2005) compiler for UNIX

Practicas de Sistemas en Tiempo Real

Docker image for AdaCore's GNAT Programming Studio (GPS)

Documentation for Ada on the Raspberry Pi Pico

Professional GNAT Ada development container for desktop and embedded (ARM Cortex-M/A) platforms.

This is an Ada 2012 library that implements the internet time protocol RFC-3339

Turku Föllari status printer, in Ada

A simplified Traffic Control System