71,372 visible repositories in the index
1–24 of 26 · 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)
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Embeddable Forth interpreter written in Ada
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
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.
GLOBE_3D: a real-time 3D Engine written in Ada
A component to aid in writing shell-like applications in 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.
AdaChess is a smart chess engine written from scratch in the Ada programming language
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
tools for writing lexers / parsers in Ada
Implementation of Midi / MidiFile reading and writing
A Button Mania game written in Ada
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
RISC-V 64-bit Kernel written in Ada
Ada wrapper for the fast Stachniss' Hungarian solver
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
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.
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra