47,133 repositories indexed
1–17 of 17 · 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)
A secure and high performances microkernel for building secure MCU-based IoTs
Ada-language framework
Simple to use cross-platform BDD driver for black box testing
Ada Embedded Network Stack
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
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Formally verified implementation of the CoAP protocol in SPARK/Ada
Giza is trying to be a simple widget tool kit for embedded platforms
Ada bindings for the MQTT broker mosquitto.
STM32 UI library and tools
Extensions to the Tiny Lisp language for embedded applications
Raspberry Pi using a BBC Micro:Bit as temperature sensor
SANCTA multi-robot task allocation library
Embedded logging absent of runtime errors
Ada bindings for wiringPi