alire-project/setup-alire

Stars
4
Rank 3,304,323 (Top 66 %)
Language
JavaScript
License
MIT License
Created about 5 years ago
Updated 4 months ago

alire-project/setup-alire

alire-project

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

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

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

ada_spark_workflow

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

clic

Command Line Interface Components

semantic_versioning

Semantic versioning in Ada

alire.ada.dev

Official website for the project

gnoga

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