Pinned Repositories
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
ASAP
The ANNEXI-STRAYLINE AURA Public Repository
ASAP-HEX
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - HEX subsystem
ASAP-JSON
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - High performance JSON parser/generator subsystem
ASAP-Unicode
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities
AURA
The AURA Reference Implementation
AURA-docs
The official documentation repo of the AURA project.
Curses
Advanced UNIX Terminal UI Ada Binding Package
gnat-packs
Self-contained binary distribution of the FSF GNAT Compiler and other free tools
sdlada-aura
Ada 2012 bindings to SDL 2 - AURA Package Port
ANNEXI-STRAYLINE's Repositories
annexi-strayline/AURA
The AURA Reference Implementation
annexi-strayline/Curses
Advanced UNIX Terminal UI Ada Binding Package
annexi-strayline/ASAP
The ANNEXI-STRAYLINE AURA Public Repository
annexi-strayline/gnat-packs
Self-contained binary distribution of the FSF GNAT Compiler and other free tools
annexi-strayline/ASAP-Unicode
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities
annexi-strayline/ASAP-JSON
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - High performance JSON parser/generator subsystem
annexi-strayline/AURA-docs
The official documentation repo of the AURA project.
annexi-strayline/ASAP-HEX
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - HEX subsystem
annexi-strayline/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
annexi-strayline/sdlada-aura
Ada 2012 bindings to SDL 2 - AURA Package Port
annexi-strayline/ASAP-CLI
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - CLI subsystem
annexi-strayline/ASAP-INET
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - INET subsystem for TCP/IP/UDP and TLS
annexi-strayline/ASAP-Modular_Hashing
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Modular hashing subsystem
annexi-strayline/ASAP-Simple_HTTP
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Basic HTTP 1.1 for APIs
annexi-strayline/ASAP-UUIDs
ANNEXI-STRAYLINE AURA Public (ASAP) Repository - UUID Generation Facilities
annexi-strayline/freebsd-gnat_ports
GCC/GNAT and Tools for the FreeBSD ports tree
annexi-strayline/gcc
annexi-strayline/gnatcoll-bindings
GNAT Components Collection – Bindings to C libraries
annexi-strayline/gnatcoll-core
GNAT Components Collection – Core packages
annexi-strayline/gnatcoll-db
GNAT Components Collection – Database packages
annexi-strayline/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
annexi-strayline/gprconfig_kb
GPR configuration knowledge base
annexi-strayline/libadalang
Ada semantic analysis library.
annexi-strayline/pygments
Pygments is a generic syntax highlighter written in Python
annexi-strayline/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
annexi-strayline/xmlada
The XML/Ada toolkit.