47,133 repositories indexed
25–48 of 198 · 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
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
A G-code parser and CNC controller (in Ada)
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
GNAT Components Collection – Core packages
Ada-language framework
A model-based flight software framework for Ada
An Ada 2012 library for parsing JSON
The Google Protocol Buffers implementation in Ada
Ada binding to the SFML library
Ada-bindings for 0mq
SHA-3 and other Keccak related algorithms in SPARK/Ada.
TOML parser for Ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
Ada Keystore - protect your sensitive data with secure storage
The PragmAda Reusable Components
Simple audio synthesis library
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
LEA is a Lightweight Editor for Ada