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 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 GameBoy emulation library in Ada

Creusot helps you prove your code is correct in an automated fashion.

“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

Builds of the GNAT Ada compiler from FSF GCC releases

Ada drivers for the Raspberry Pi RP2040 SoC

Ada examples for the Raspberry Pi Pico