X-PGP-Fingerprint: AC2ADB1BEE410BB0B791E393441828874091B824
Starred repositories
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
ksh93 / ksh
Forked from att/astksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases