mosteo

btrfs-status

My personal assessment on btrfs status vs the official one at https://btrfs.wiki.kernel.org/index.php/Status

yeison

A json-like data structure library in Ada

iterators

Functional iterators for Ada 2012

ada4cmake

cmake macros for simple gnat project inclusion

stopwatch

A type to track elapsed time

uri-ada

URI parsing for Ada

2022-AEiC-alire-tutorial

Materials for the Alire tutorial at AEiC'22

ajunitgen

Generator of JUnit-compatible XML reports in Ada

ansi-ada

ANSI control sequences for the Ada language

dl-ada

Minimal binding to libdl

saudefense

A MATLAB game to demonstrate feedback control

actions

github actions (mostly GNAT Ada related)

alire-crates-ci

CI testing of crates in default alire index

alire-personal-index

My personal index for work-in-progress crates not meriting publication

alr-monorepo

check-author

GitHub Action to check author permision on Alire crate files

kokardo

Alternate cockade designs for the Esperanto flag / Alternaj kokardoprojektoj por la Esperanta flago

microrrelatos-ae-2021

Microrrelatos participantes en el VIII certámen Ababol Edizions (2021)

OpenGLAda

Thick Ada binding for OpenGL and GLFW

rsfile

Command-line utility that picks a file from a folder hierarchy with probability proportional to its size

sandbox

Testing repository

sau-ev3

Test programs and class demos for LEGO ev3

sdlada

Ada 2012 bindings to SDL 2

slam_toolbox

Slam Toolbox for lifelong mapping and localization in potentially massive maps with ROS

starter-workflows

Accelerating new GitHub Actions workflows

toolchain

GitHub action to setup an Ada/SPARK dev environment

wordle_ada

A demo Wordle implementation for the terminal in Ada

wordlelib_ada

An Ada library that implements most of the Wordle game logic

wordlist_ada

A list of English words ready for use from Ada

zip-ada

Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.