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.