A curated list of awesome resources related to the Ada and SPARK programming language

• UpdatedFeb 7, 2025

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

• UpdatedNov 21, 2023
• C

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)

• UpdatedMar 17, 2025
• Ada

Ada examples for the Raspberry Pi Pico

• UpdatedOct 26, 2024
• Ada

Ada bindings for the notcurses text user interface library

• UpdatedMar 6, 2023
• Ada

Ada bindings for the Microsft WinRT Api

• UpdatedJun 6, 2020
• Ada

LLVM based GNAT compiler for Xtensa

• UpdatedJul 29, 2022
• Ada

Various Docker images related to Ada programming language

• UpdatedMar 1, 2022
• Qt Script

Bingo application in GTKAda

• UpdatedJul 15, 2023
• Ada

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

• UpdatedSep 18, 2022
• C

Ada bindings to the Java 11 Native Interface API.

• UpdatedJun 11, 2019
• Ada

Ada bindings to the Microsoft NetFramework Api

• UpdatedMar 22, 2020
• Ada

Docker: Ubuntu with GNAT installed

• UpdatedSep 9, 2022
• Dockerfile

Ada bindings for the Microsoft Win32 Api

• UpdatedJun 7, 2020
• Ada

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

• UpdatedMar 1, 2019
• C

The GNAT Ada (1995) compiler for UNIX

• UpdatedOct 1, 2021
• C

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

• UpdatedOct 8, 2020
• Ada

A small subset of Ada targeting embedded systems.

• UpdatedApr 17, 2017
• Rust

you already know

• UpdatedApr 27, 2017

Ada Runtime targeting WinRT (ie compatable with Windows Store)

• UpdatedMay 25, 2019
• Ada