56,638 visible repositories in the index
1–13 of 13 · Most stars
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)
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
ColdFrame generates Ada framework code and documentation from UML models.
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
Supports functional testing using Tcl scripts.
Provides GCC 'specs' files to cope with macOS SDK policy changes
Demos of multiplexed digital I/O for AdaPilot