Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/annexi-strayline/ASAP

The ANNEXI-STRAYLINE AURA Public Repository
https://github.com/annexi-strayline/ASAP

Last synced: 2 months ago
JSON representation

The ANNEXI-STRAYLINE AURA Public Repository

Host: GitHub
URL: https://github.com/annexi-strayline/ASAP
Owner: annexi-strayline
License: bsd-3-clause
Created: 2021-09-04T17:05:45.000Z (almost 3 years ago)
Default Branch: main
Last Pushed: 2023-06-10T04:33:26.000Z (about 1 year ago)
Last Synced: 2024-02-01T16:16:14.993Z (5 months ago)
Size: 14.6 KB
Stars: 6
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE

Lists

awesome-ada - asap - A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder. (Frameworks / Components)
awesome-ada - asap - A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder. (Frameworks / Components)

README

        # ASAP

The ANNEXI-STRAYLINE AURA Public Repository

## AURA Configuration for using this repository

Replace _X with the appropriate number for your project.

```ada

package AURA.Respository_X with Pure is

    Format         : constant Repository_Format := git;

    Location       : constant String            := "https://github.com/annexi-strayline/ASAP.git";

    Tracking_Branch: constant String            := "stable-1.0.x.y";

end AURA.Repository_X;

```