alire-project/ada_spark_workflow

Stars
30
Rank 839,658 (Top 17 %)
Language
Ada
License
MIT License
Created over 2 years ago
Updated 6 months ago

alire-project/ada_spark_workflow

alire-project

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A demo of best practices for open-source Ada/SPARK development

alire

Command-line tool from the Alire project and supporting library

alire-index

Community index for the Alire project

GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

clic

Command Line Interface Components

semantic_versioning

Semantic versioning in Ada

alire.ada.dev

Official website for the project

gnoga

setup-alire

GitHub action to setup Alire (the Ada/SPARK package manager)

simple_logging

Easy to use logging facilities for output to console in Ada programs

zlib-ada

A thick binding to the popular compression/decompression library ZLib

resources

A utility library to handle project resources at run-time

alire-crates-ci

CI testing of crates in default alire index

deepend

A suite of dynamic storage pools with subpool capabilities for Ada 95, Ada 2005, and Ada 2012

dockerfiles

Dockerfiles used to test Alire in supported Linux distributions. They do not contain Alire, but a complete GNAT toolchain.

xmlezout

XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs

gnatcov-to-codecovio-action

GitHub actions to upload coverage results from gnatcov to codecov.io

libhello

hello

"Hello, world!" using a library

check-author

GitHub Action to check author permision on Alire crate files

dak_simple_components

Simple Components by Dmitry A. Kazakov

smart_pointers

Christoph Karl Walter Grein's Smart Pointers