This is the Phobos standard library that comes with the D2 compiler.

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

This is the GNU Go compiler for the arm-linux-gnueabihf architecture, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

Ignition common is a component in the Ignition framework, a set of libraries designed to rapidly develop robot applications. A collection of useful classes and functions for handling many command tasks. This includes parsing 3D mesh files, managing console output, and using PID controllers.

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

Libhinoko is an I/O library to operate 1394 OHCI hardware for transmission of isochronous packets in IEEE 1394 bus.