libstdc++-14-pic-s390x-cross

GNU Standard C++ Library v3 (shared library subset kit) (s390x)

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

libcoq-hierarchy-builder

build hierarchies of algebraic structures in Coq

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

gmtsar-core

InSAR processing system based on Generic Mapping Tools - core

GMTSAR is an open source Interferometric Synthetic Aperture RADAR (InSAR) processing system designed for users familiar with Generic Mapping Tools (GMT).

libunwind-18

production-quality unwinder

libunwind is a production-quality unwinder, with platform support for DWARF unwind info, SjLj, and ARM EHABI.

lld-18

LLVM-based linker

LLD is a new, high-performance linker. It is built as a set of reusable components which highly leverage existing libraries in the larger LLVM Project.

llvm-18-runtime

Modular compiler and toolchain technologies, IR interpreter

LLVM is a collection of libraries and tools that make it easy to build compilers, optimizers, just-in-time code generators, and many other compiler-related programs.