gnat

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

LLVM based GNAT compiler for Xtensa

Various Docker images related to Ada programming language

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

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

[WIP] Layer to enable gcc ada support

Tests of GPR aggregates of GPR libraries

A small subset of Ada targeting embedded systems.