Skip to content
Change the repository type filter

All

    Repositories list

    • Builds of the GNAT Ada compiler from FSF GCC releases
      Python
      235483Updated Feb 10, 2026Feb 10, 2026
    • CI testing of crates in default alire index
      Python
      3211Updated Feb 10, 2026Feb 10, 2026
    • Official website for the project
      HTML
      6511Updated Feb 10, 2026Feb 10, 2026
    • Community index for the Alire project
      1286004Updated Feb 9, 2026Feb 9, 2026
    • Easy to use logging facilities for output to console in Ada programs
      Ada
      4401Updated Feb 6, 2026Feb 6, 2026
    • alire

      Public
      Command-line tool from the Alire project and supporting library
      Ada
      603683457Updated Feb 6, 2026Feb 6, 2026
    • Action to publish Alire releases from workflows to the community index
      Shell
      1000Updated Feb 1, 2026Feb 1, 2026
    • resources

      Public
      A utility library to handle project resources at run-time
      Ada
      3300Updated Jan 28, 2026Jan 28, 2026
    • Semantic versioning in Ada
      Ada
      51220Updated Jan 19, 2026Jan 19, 2026
    • Checks on submissions to Alire indexes
      Shell
      1000Updated Jan 7, 2026Jan 7, 2026
    • Dockerfiles used to test Alire in supported Linux distributions. They do not contain Alire, but a complete GNAT toolchain.
      Shell
      3200Updated Dec 13, 2025Dec 13, 2025
    • A collection of command-line scripts that can be useful to Alire users
      Shell
      1000Updated Jun 10, 2025Jun 10, 2025
    • Source repository for the GNAT Bare Metal BSPs
      Ada
      60101Updated May 7, 2025May 7, 2025
    • Run `alr install` to make some executable crate available
      1000Updated Mar 18, 2025Mar 18, 2025
    • GitHub action to setup Alire (the Ada/SPARK package manager)
      JavaScript
      3710Updated Mar 18, 2025Mar 18, 2025
    • GNAT Components Collection – Core packages
      Ada
      34000Updated Mar 14, 2025Mar 14, 2025
    • AWS templates engine.
      Ada
      18000Updated Mar 9, 2025Mar 9, 2025
    • xmlada

      Public
      The XML/Ada toolkit.
      Ada
      16000Updated Mar 9, 2025Mar 9, 2025
    • Index for tests that require an online index
      1001Updated Mar 3, 2025Mar 3, 2025
    • Solver performance tests
      Python
      0000Updated Jan 7, 2025Jan 7, 2025
    • A demo of best practices for open-source Ada/SPARK development
      Ada
      64061Updated Oct 26, 2024Oct 26, 2024
    • Hangman

      Public
      hangman game made in ADA as group
      Ada
      2100Updated Jul 15, 2024Jul 15, 2024
    • clic

      Public
      Command Line Interface Components
      Ada
      41432Updated Feb 17, 2024Feb 17, 2024
    • Simple Components by Dmitry A. Kazakov
      Ada
      3300Updated Jan 19, 2024Jan 19, 2024
    • GitHub actions to upload coverage results from gnatcov to codecov.io
      Shell
      2101Updated Nov 15, 2023Nov 15, 2023
    • check-author

      Public archive
      GitHub Action to check author permision on Alire crate files
      JavaScript
      11018Updated May 6, 2023May 6, 2023
    • HTML
      0000Updated Nov 28, 2022Nov 28, 2022
    • libhello

      Public
      Demo library
      Ada
      0200Updated Aug 31, 2022Aug 31, 2022
    • hello

      Public
      "Hello, world!" using a library
      Ada
      0200Updated Aug 31, 2022Aug 31, 2022
    • sdlada

      Public
      Ada 2012 bindings to SDL 2
      Ada
      36100Updated Mar 24, 2021Mar 24, 2021