Displays test results from popular testing frameworks directly in GitHub

Standalone binding to GCC atomic built-ins

Ada 2012 bindings for CZMQ (high-level C bindings for ZeroMQ)

Context-based code search tool

A process for Ada/SPARK software to meet ISO 26262

Low resolution bitmap font with a small memory footprint

Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators

I2C, SPI, UART, MMC implemented in software

Light GNAT Runtime startup files and linker scripts

AWS templates engine.

G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.

SHA-3 and other Keccak related algorithms in SPARK/Ada.

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Unbound data structures in Ada-Spark.

Rust binding for gpr

Ada implementation of Linear Predictive Coding voice synthesizer

A Game Boy emulation library in Ada

Creusot helps you prove your Rust code is correct.

“Quite OK Image” Ada implementation

Server implementing the Microsoft Language Protocol for Ada and SPARK

RP2040 bootloader in Rust

Graph based routing and modification of MIDI messages

A demo of best practices for open-source Ada/SPARK development

Mars Polar Lander Simulation

A Neotron powered by the Raspberry Pi Pico

The AURA Reference Implementation

Community index for the Alire project

An Ada 2012 library to replace names between colons with emojis