We've verified that the organization ANNEXI-STRAYLINE controls the domain:
Self-contained binary distribution of the FSF GNAT Compiler and other free tools
GNAT Components Collection – Database packages
GNAT Components Collection – Bindings to C libraries
GNAT Components Collection – Core packages
The XML/Ada toolkit.
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Pygments is a generic syntax highlighter written in Python
GPR configuration knowledge base
Ada User Repository Annex - ANNEXI-STRAYLINE Public Repository
Advanced UNIX Terminal UI Ada Binding Package
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada semantic analysis library.
GCC/GNAT and Tools for the FreeBSD ports tree
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.