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 Microsft WinRT Api

Ada bindings for the notcurses text user interface library

LLVM based GNAT compiler for Xtensa

Various Docker images related to Ada programming language

Bingo application in GTKAda

Ada bindings to the Java 11 Native Interface API.

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

Ada bindings to the Microsoft NetFramework Api

Docker: Ubuntu with GNAT installed

Ada bindings for the Microsoft Win32 Api

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

The GNAT Ada (1995) compiler for UNIX

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

A small subset of Ada targeting embedded systems.

Ada Runtime targeting WinRT (ie compatable with Windows Store)

you already know