Pinned

1. Command-Line-Parser-Generator Command-Line-Parser-Generator Public

   A tool for generating a driver intended to call one of the procedures declared in a package specification, depending on the parameters passed to the driver. The accepted command line arguments are …

   Ada 3 1

2. ALSA-binding ALSA-binding Public

   An Ada sound recording and playback library.

   Ada 4

3. Ada-2012-Examples Ada-2012-Examples Public

   A collection of examples of how Ada 2012 can be used.

   Ada 6 1

4. Example-combining-SPARK-2014-and-Ada-2012 Example-combining-SPARK-2014-and-Ada-2012 Public

   Ada 1

5. HTTP-Redirector HTTP-Redirector Public

   A private HTTP redirector. Adjust your DNS configuration (/etc/hosts) to point tracking redirectors to your private HTTP redirector instead of the tracking redirector.

   Shell

6. Black Black Public

   A simple HTTP and Websocket library with minimal external dependencies.

   Ada 15 3