47,133 repositories indexed
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)
The PragmAda Reusable Components
Simple to use cross-platform BDD driver for black box testing
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
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.
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
Wasabee: a Web browser with safety focus. Project is in early development stage.
The Ada Conformity Assessment Test Suite, customised for GCC.
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK formal verification automated with Travis CI
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
Easy to use logging facilities for output to console in Ada programs
Ada General Purpose Library -- Miscellaneous utilities
Ada binding to OpenAL which tries to mimic original API while using Ada types.
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Ada Music Tracker Player
Raspberry Pi using a BBC Micro:Bit as temperature sensor
Ada 2012 bindings for the Opus audio codec.
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.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64