Ada-language framework

Package to Install ADA in Visual Studio Code Windows 11

[WIP] Layer to enable gcc ada support

Source repository for the GNAT Bare Metal BSPs

A set of Ada 2012 x86_64 emulator components

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

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Port of mini prolog II to Ada-83

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

LEA is a Lightweight Editor for Ada