Computer Scientist. Mobile robotics researcher. Ada enthusiast.
rxada. An Ada 2012 implementation of the Rx methodology
24btrfs-status. My personal assessment on btrfs status vs the official one at https://btrfs.wiki.kernel.org/index.php/Status
19yeison. A json-like data structure library in Ada
13iterators. Functional iterators for Ada 2012
9aaa. Alex's Ada Assortment
8ansi-ada. ANSI control sequences for the Ada language
6sheetmusic. Transcriptions of public domain music using Lilypond and Musescore
6ada4cmake. cmake macros for simple gnat project inclusion
5alire-old-discussion. Design of an Ada language library repository
5agpl. Ada General Purpose Library -- Miscellaneous utilities
5adagio. G2 network server leaf
4workers. Simple-to-use worker pools for Ada
42022-AEiC-alire-tutorial. Materials for the Alire tutorial at AEiC'22
4player-ada. Ada bindings for the player robotic platform
4unitest. Test of unicode flags in GNAT
3stopwatch. A type to track elapsed time
3den. Directory Enumeration for Ada
3uri-ada. URI parsing for Ada
3alire. Command-line tool from the Alire project and supporting library
3optional. Optional types for Ada
3vnet. High-level virtual network for robotics experimentation
2alire-index. Community index for the Alire project
2cstrings. Convenience subprograms to interact with C strings
2umwi. Unicode Monospace Width Information
2hungarian. Ada wrapper for the fast Stachniss' Hungarian solver
2ada-toml. TOML parser for Ada
2Ada_CI_Workflows. Ready-to-use workflows to add Continuous Integration to Ada projects
2gnat-gpl-bugs. Test cases for various bugs in the latest GNAT GPL edition, to check their fixing on successive editions
2saudefense. A MATLAB game to demonstrate feedback control
2mandelbrot_ascii. Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
2embedded-aws-templates. Ripped out minimal functionality from Ada Web Server and Templates Parser for embedded resources
1utf8test. Test unicode output with `-gnatW8`
1ada-voxel-space-demo. Voxel Space render engine demo in Ada. Inspired by https://github.com/s-macke/VoxelSpace
1minirest. Minimalist REST Ada client library
1dl-ada. Minimal binding to libdl
1defol. A tool to find directories with identical or highly overlapping contents
1cant-stop-odds. Odds for the Can't stop game
1aaset. AASET: Automatic Ada Symbolic Execution Tool
1actions. github actions (mostly GNAT Ada related)
1skel_ada. Skeleton for Ada projects
1japonesido. A transliteration of Spanish into haragana and katakana
1setup-alire. GitHub action to setup Alire (the Ada/SPARK package manager)
1whitakers-words. William Whitaker's WORDS, a Latin dictionary
1toml_slicer. TOML file direct manipulation without parsing
1ada-ros-roadmap. Private project to keep track of issues via waffle.io
1texts. No-frills Unicode text types for Ada
1