mosteo Goto Github PK

2022-aeic-alire-tutorial

Materials for the Alire tutorial at AEiC'22

aaa

Alex's Ada Assortment

aaset

AASET: Automatic Ada Symbolic Execution Tool

actions

github actions (mostly GNAT Ada related)

ada-ros-roadmap

Private project to keep track of issues via waffle.io

ada-toml

TOML parser for Ada

ada-voxel-space-demo

Voxel Space render engine demo in Ada. Inspired by https://github.com/s-macke/VoxelSpace

ada4cmake

cmake macros for simple gnat project inclusion

ada_ci_workflows

Ready-to-use workflows to add Continuous Integration to Ada projects

ada_drivers_library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

adagio

G2 network server leaf

agpl

Ada General Purpose Library -- Miscellaneous utilities

ajunitgen

Generator of JUnit-compatible XML reports in Ada

alire

Command-line tool from the Alire project and supporting library

alire-crates-ci

CI testing of crates in default alire index

alire-index

Community index for the Alire project

alire-old-discussion

Design of an Ada language library repository

alire-personal-index

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

alire.ada.dev

Official website for the project

alr-monorepo

android-support-v4-preferencefragment

ansi-ada

ANSI control sequences for the Ada language

armc

Alex's Reusable Miscellaneous Code

baobab-nox

Tool to ascertain folder sizes from the command line

barnes18

My brute-force solution to John Barnes' riddle in Ada-Europe 2018

btrfs-status

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

cant-stop-odds

Odds for the Can't stop game

check-author

GitHub Action to check author permision on Alire crate files

clic

Command Line Interface Components

clutter

Command-Line Utilities for Linux