• Stars
    star
    1
  • Language
    Shell
  • License
    MIT License
  • Created about 3 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

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

More Repositories

1

alire

Command-line tool from the Alire project and supporting library
Ada
275
star
2

alire-index

Community index for the Alire project
52
star
3

GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases
Python
33
star
4

ada_spark_workflow

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

clic

Command Line Interface Components
Ada
11
star
6

semantic_versioning

Semantic versioning in Ada
Ada
8
star
7

alire.ada.dev

Official website for the project
HTML
5
star
8

gnoga

Ada
4
star
9

setup-alire

GitHub action to setup Alire (the Ada/SPARK package manager)
JavaScript
4
star
10

simple_logging

Easy to use logging facilities for output to console in Ada programs
Ada
3
star
11

zlib-ada

A thick binding to the popular compression/decompression library ZLib
Ada
3
star
12

resources

A utility library to handle project resources at run-time
Ada
2
star
13

alire-crates-ci

CI testing of crates in default alire index
Python
2
star
14

deepend

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

dockerfiles

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

xmlezout

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

libhello

Demo library
Ada
1
star
18

hello

"Hello, world!" using a library
Ada
1
star
19

check-author

GitHub Action to check author permision on Alire crate files
JavaScript
1
star
20

dak_simple_components

Simple Components by Dmitry A. Kazakov
Ada
1
star
21

smart_pointers

Christoph Karl Walter Grein's Smart Pointers
Ada
1
star