Alire (alire-project)

Alire

alire-project

Geek Repo

A sandbox package manager for the Ada language

Home Page:https://alire.ada.dev/

Github PK Tool:Github PK Tool

Alire's repositories

alire

Command-line tool from the Alire project and supporting library

Language:AdaLicense:GPL-3.0Stargazers:267Issues:21Issues:720

alire-index

Community index for the Alire project

License:GPL-3.0Stargazers:49Issues:11Issues:0

GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

Language:PythonLicense:MITStargazers:28Issues:7Issues:14

ada_spark_workflow

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

Language:AdaLicense:MITStargazers:27Issues:6Issues:3

clic

Command Line Interface Components

Language:AdaLicense:MITStargazers:11Issues:6Issues:3

semantic_versioning

Semantic versioning in Ada

Language:AdaLicense:GPL-3.0Stargazers:8Issues:4Issues:5

alire.ada.dev

Official website for the project

Language:HTMLStargazers:5Issues:3Issues:0
Language:AdaLicense:GPL-3.0Stargazers:4Issues:3Issues:0

setup-alire

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

Language:JavaScriptLicense:MITStargazers:4Issues:5Issues:5

simple_logging

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

Language:AdaLicense:LGPL-3.0Stargazers:3Issues:3Issues:0

zlib-ada

A thick binding to the popular compression/decompression library ZLib

Language:AdaStargazers:3Issues:3Issues:0

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

Language:AdaStargazers:2Issues:4Issues:0

dockerfiles

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

Language:ShellStargazers:2Issues:4Issues:0

resources

A utility library to handle project resources at run-time

Language:AdaStargazers:2Issues:2Issues:0

xmlezout

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

Language:AdaLicense:NOASSERTIONStargazers:2Issues:3Issues:1

check-author

GitHub Action to check author permision on Alire crate files

Language:JavaScriptLicense:MITStargazers:1Issues:4Issues:0

dak_simple_components

Simple Components by Dmitry A. Kazakov

Language:AdaStargazers:1Issues:3Issues:0

gnatcov-to-codecovio-action

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

Language:ShellLicense:MITStargazers:1Issues:4Issues:0

Hangman

hangman game made in ADA as group

Language:AdaStargazers:1Issues:3Issues:0

hello

"Hello, world!" using a library

Language:AdaLicense:MITStargazers:1Issues:3Issues:0

libhello

Demo library

Language:AdaLicense:MITStargazers:1Issues:3Issues:0

sdlada

Ada 2012 bindings to SDL 2

Language:AdaLicense:ZlibStargazers:1Issues:3Issues:0

smart_pointers

Christoph Karl Walter Grein's Smart Pointers

Language:AdaStargazers:1Issues:4Issues:0

alire-index-checks

Checks on submissions to Alire indexes

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

alr-install

Run `alr install` to make some executable crate available

License:MITStargazers:0Issues:3Issues:0
Language:HTMLLicense:Apache-2.0Stargazers:0Issues:4Issues:0

gnatcoll-core

GNAT Components Collection – Core packages

Language:AdaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

old-index

Old Ada-based index

Language:AdaLicense:LGPL-3.0Stargazers:0Issues:3Issues:0

test-index

Index for tests that require an online index

License:MITStargazers:0Issues:0Issues:0