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

Unix on Windows 95 and NT Machines

AST - AT&T Software Technology

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

Protected Mode Debugger For DOS

DPMI 1.0 Server

Command-line tool from the Alire project and supporting library

Community index for the Alire project

BLAKE2 official implementations

ksh 93u+m: KornShell lives! | Latest release: https://github.com/ksh93/ksh/releases