Starred repositories
11
results
for source starred repositories
Clear filter
A curated list of awesome resources related to the Ada and SPARK programming language
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks AdaCore CE releases.
An Ada controller for static analysis and rules checking
An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles/illumos-gate
Command-line tool from the Alire project and supporting library