Skip to content

@alire-project Alire

Change the repository type filter

All

    Repositories list

    39 repositories

    • alire

      Public
      Command-line tool from the Alire project and supporting library
      package-manageradapackage-managementreproducible-buildsada-2012package-manager-tool
      Ada
      •
      GNU General Public License v3.0
      •51•305•295•6•Updated Feb 24, 2025Feb 24, 2025

    • alire-crates-ci

      Public
      CI testing of crates in default alire index
      Python
      •2•2•0•0•Updated Feb 24, 2025Feb 24, 2025

    • alire.ada.dev

      Public
      Official website for the project
      HTML
      •6•5•0•1•Updated Feb 24, 2025Feb 24, 2025

    • alire-index

      Public
      Community index for the Alire project
      GNU General Public License v3.0
      •104•60•0•5•Updated Feb 23, 2025Feb 23, 2025

    • GNAT-FSF-builds

      Public
      Builds of the GNAT Ada compiler from FSF GCC releases
      Python
      •
      MIT License
      •17•39•12•6•Updated Feb 21, 2025Feb 21, 2025

    • setup-alire

      Public
      GitHub action to setup Alire (the Ada/SPARK package manager)
      JavaScript
      •
      MIT License
      •4•5•0•0•Updated Jan 10, 2025Jan 10, 2025

    • solver_testsuite

      Public
      Solver performance tests
      Python
      •0•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • alire-index-checks

      Public
      Checks on submissions to Alire indexes
      Shell
      •
      MIT License
      •1•0•0•0•Updated Dec 26, 2024Dec 26, 2024

    • dockerfiles

      Public
      Dockerfiles used to test Alire in supported Linux distributions. They do not contain Alire, but a complete GNAT toolchain.
      Shell
      •2•2•0•0•Updated Oct 28, 2024Oct 28, 2024

    • ada_spark_workflow

      Public
      A demo of best practices for open-source Ada/SPARK development
      Ada
      •
      MIT License
      •6•33•5•1•Updated Oct 26, 2024Oct 26, 2024

    • alr-install

      Public
      Run `alr install` to make some executable crate available
      MIT License
      •1•0•0•0•Updated Oct 13, 2024Oct 13, 2024

    • simple_logging

      Public
      Easy to use logging facilities for output to console in Ada programs
      Ada
      •
      GNU Lesser General Public License v3.0
      •2•3•0•1•Updated Jul 23, 2024Jul 23, 2024

    • Hangman

      Public
      hangman game made in ADA as group
      Ada
      •2•1•0•0•Updated Jul 15, 2024Jul 15, 2024

    • test-index

      Public
      Index for tests that require an online index
      MIT License
      •1•0•0•0•Updated Jul 5, 2024Jul 5, 2024

    • semantic_versioning

      Public
      Semantic versioning in Ada
      Ada
      •
      GNU General Public License v3.0
      •3•10•5•0•Updated Jun 20, 2024Jun 20, 2024

    • clic

      Public
      Command Line Interface Components
      Ada
      •
      MIT License
      •3•12•2•2•Updated Feb 17, 2024Feb 17, 2024

    • dak_simple_components

      Public
      Simple Components by Dmitry A. Kazakov
      Ada
      •3•2•0•0•Updated Jan 19, 2024Jan 19, 2024

    • gnatcov-to-codecovio-action

      Public
      GitHub actions to upload coverage results from gnatcov to codecov.io
      Shell
      •
      MIT License
      •1•1•0•0•Updated Nov 15, 2023Nov 15, 2023

    • gnatcoll-core

      Public
      GNAT Components Collection – Core packages
      Ada
      •
      Other
      •31•0•0•0•Updated Oct 19, 2023Oct 19, 2023

    • check-author

      Public archive
      GitHub Action to check author permision on Alire crate files
      JavaScript
      •
      MIT License
      •1•1•0•18•Updated May 6, 2023May 6, 2023

    • docs.ada.dev

      Public
      HTML
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 28, 2022Nov 28, 2022

    • libhello

      Public
      Demo library
      Ada
      •
      MIT License
      •0•2•0•0•Updated Aug 31, 2022Aug 31, 2022

    • hello

      Public
      "Hello, world!" using a library
      Ada
      •
      MIT License
      •0•2•0•0•Updated Aug 31, 2022Aug 31, 2022

    • resources

      Public
      A utility library to handle project resources at run-time
      Ada
      •1•2•0•0•Updated May 2, 2022May 2, 2022

    • sdlada

      Public
      Ada 2012 bindings to SDL 2
      Ada
      •
      zlib License
      •36•1•0•0•Updated Mar 24, 2021Mar 24, 2021

    • xmlezout

      Public
      XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
      Ada
      •
      Other
      •1•3•0•0•Updated Dec 17, 2020Dec 17, 2020

    • old-index

      Public
      Old Ada-based index
      Ada
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Jun 24, 2019Jun 24, 2019

    • gnoga

      Public
      Ada
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Jun 11, 2018Jun 11, 2018

    • deepend

      Public
      A suite of dynamic storage pools with subpool capabilities for Ada 95, Ada 2005, and Ada 2012
      Ada
      •0•2•0•0•Updated Jun 10, 2018Jun 10, 2018

    • smart_pointers

      Public
      Christoph Karl Walter Grein's Smart Pointers
      Ada
      •0•1•0•0•Updated Jun 10, 2018Jun 10, 2018