Tool for building an AppImage from an Alire crate

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.

An OS built with the Ironclad kernel and GNU tools

WebAssembly Swissknife & cross-language bugfinder

Ada HAL drivers for Linux GPIO and SPI interfaces

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

Open World 3D Game Engine for the PicoSystem & RP2040 Microcontroller

AoC 2022 solutions in Ada/Spark

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

Apache Kafka Ada client library, based off of librdkafka

Chests are bounded containers

VHDL 2008/93/87 simulator

Tooling for analysis and manipulation of Ada software

An Ada 2012 library to replace names between colons with emojis

Context-based code search tool

The demonstration project of usage of recompiled Zephyr SDK toolchain with enabled Ada lang

A first approach of getting a pure Ada program running on an FPGA with SaxonSOC

Simulator of a ball on beam system

Ada on RP2040 proof of concept

Simple Game of Life implementation in Ada.

Community index for the Alire project

Garbage collection for Ada

Ada 2012 bindings for libcanberra

Ada-Bindings for FUSE

Play and Enjoy the History of Microsoft Flight Simulator

Qt5 COVID-19 simulator. Ada code under the hood. 😲 🤯 🤘

A self-hosted Ada-inspired programming language for very small systems.

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64