alire

Tool for building an AppImage from an Alire crate

Loads environment variables from .env for Ada projects.

Structured asynchronous runtime for Ada with futures, scheduling, timers, networking, channels, cancellation, and diagnostics.

Low resolution bitmap font with a small memory footprint

Ada/SPARK formal verification and compliance toolchain.

Easy_Graphics is a simple library for generating graphical output from your Ada program

Simh_tape is an Ada package for handling magnetic tape images in the standard format used by SimH and many other computer simulators and emulators.

A high-integrity, generic Ada library for calculating numeric and text distances (Euclidean, Levenshtein, Haversine, etc.), formally verified with SPARK.

Cross-platform terminal capability detection for Ada/SPARK — TTY, color, size, Unicode, terminal identity

Assortment of Ada functions to solve Euler Project problems

A game demo for the Pimoroni Picosystem

Minimal Ada + Alire + AUnit example

A command-line note taking app built with Ada!

Future Swarm Simulator (Drone Swarm)

A lightweight transport abstraction library for embedded Ada systems, providing portable GPIO, SPI, I²C, UART, and delay APIs with an RP2040 backend.

A GtkAda GUI for exploring the Mandelbrot set, written in Ada.

Interactive Ada and SPARK missions for learning systems safety through small bugs.

Reusable action that you can use to build an AppImage from your Alire crate and publish it to your releases section

Random number generation toolkit in Ada

Provide a ready-to-use GNAT Ada development container supporting desktop and embedded ARM platforms with Alire and GPRBuild tools.