annexi-strayline Goto Github PK

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

asap

The ANNEXI-STRAYLINE AURA Public Repository

asap-cli

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - CLI subsystem

asap-hex

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - HEX subsystem

asap-inet

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - INET subsystem for TCP/IP/UDP and TLS

asap-json

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - High performance JSON parser/generator subsystem

asap-modular_hashing

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Modular hashing subsystem

asap-simple_http

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Basic HTTP 1.1 for APIs

asap-unicode

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - Unicode utilities

asap-uuids

ANNEXI-STRAYLINE AURA Public (ASAP) Repository - UUID Generation Facilities

aura

The AURA Reference Implementation

aura-docs

The official documentation repo of the AURA project.

curses

Advanced UNIX Terminal UI Ada Binding Package

freebsd-gnat_ports

GCC/GNAT and Tools for the FreeBSD ports tree

gcc

gnat-packs

Self-contained binary distribution of the FSF GNAT Compiler and other free tools

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

gnatcoll-core

GNAT Components Collection – Core packages

gnatcoll-db

GNAT Components Collection – Database packages

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

gprconfig_kb

GPR configuration knowledge base

libadalang

Ada semantic analysis library.

pygments

Pygments is a generic syntax highlighter written in Python

sdlada-aura

Ada 2012 bindings to SDL 2 - AURA Package Port

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

xmlada

The XML/Ada toolkit.