Alire

chestsJeremyGrosser/chests

Chests provides bounded containers (stacks and ring buffers) for embedded systems without dynamic memory allocation.

weechat-adaonox/weechat-ada

Ada 2012 library for developing WeeChat plug-ins, providing bindings to WeeChat's C API.

blackvideo-mini-playerBlackBlazent/blackvideo-mini-player

A lightweight, cross-platform CLI video player built with Ada, featuring offline/cloud caption generation and sprite thumbnail previews.

canberra-adaonox/canberra-ada

Ada 2012 bindings for libcanberra, enabling sound playback in Ada applications.

ascon-sparkjhumphry/Ascon_SPARK

A formally verified implementation of the Ascon lightweight authenticated encryption algorithm in Ada/SPARK.

weechat-emojionox/weechat-emoji

A WeeChat plugin written in Ada 2012 that displays emoji in the chat client.

scripted-testingsimonjwright/scripted_testing

A functional testing framework for Ada software using Tcl scripts to simulate and verify interactions with system components.

doppler-effect-sample2moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2

A GtkAda GUI application demonstrating the Doppler effect with a moving airplane using OpenAL for stereo sound simulation.

opus-adaonox/opus-ada

Ada 2012 bindings for the Opus audio codec, providing encoder and decoder functionality.

weechat-canberraonox/weechat-canberra

A WeeChat plugin written in Ada 2012 that plays sounds using libcanberra for message notifications.

dl-adamosteo/dl-ada

Minimal Ada binding to libdl for dynamic loading of shared libraries.

elogskevlar700/elogs

A SPARK-proven logging library for embedded systems, guaranteed free of runtime errors.

rsfilemosteo/rsfile

A command-line utility that selects a file from a folder hierarchy with probability proportional to its size.