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 (v1)

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

The GNAT Ada (1995) compiler for UNIX

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

you already know

Ada Runtime targeting WinRT (ie compatable with Windows Store)

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