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).

libg2c-utils

NCEP GRIB2 library - development files

This is the libg2c library from NCEP for encoding and decoding 'GRIB2' data formats.

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.

liblomiri-online-accounts-client1

Library to interact with the Lomiri Online Accounts panel

The LomiriOnlineAccountsClient library offers an API for applications to invoke the Lomiri's Online Accounts system settings in order to request the creation/configuration of accounts.

liblomiri-online-accounts-daemon1

Lomiri Online Accounts simplified API - library

D-Bus service implementing the simplified Online Accounts API.

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.