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)
created at July 24, 2017, 4:36 p.m.
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.
created at March 12, 2022, 7:48 p.m.
The Ada Conformity Assessment Test Suite, customised for GCC.
created at May 1, 2017, 10:42 a.m.
ColdFrame generates Ada framework code and documentation from UML models.
created at April 1, 2018, 4:29 p.m.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
created at May 30, 2016, 9:47 p.m.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
created at Jan. 29, 2020, 9:07 p.m.
An Ada implementation of XPath 1.0.
created at March 28, 2018, 11:04 a.m.
Ada implementation of D’Hondt electoral result calculator
created at May 19, 2019, 10:15 a.m.
Supports functional testing using Tcl scripts.
created at April 7, 2019, 2:08 p.m.
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
created at April 26, 2019, 11:12 a.m.
Tools for grading ACATS results, modified for Unix-like systems
created at May 12, 2019, 6:20 p.m.
Provides GCC 'specs' files to cope with macOS SDK policy changes
created at June 8, 2019, 3:06 p.m.
Demos of multiplexed digital I/O for AdaPilot
created at April 6, 2016, 9:48 a.m.