gosa-plugins-dhcp-schema

LDAP dhcp schema for GOsa² systems plugin

This package includes the LDAP schema needed by the GOsa² systems plugin (for storing DHCP information in LDAP).

libclang-cpp18

C++ interface to the Clang library

Clang project is a C, C++, Objective C and Objective C++ front-end based on the LLVM compiler. Its goal is to offer a replacement to the GNU Compiler Collection (GCC).

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.

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.

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

node-addon-api

Node.js header-only C++ wrapper classes

node-addon-api contains header-only C++ wrapper classes which simplify the use of the C based Node-API provided by Node.js when using C++. It provides a C++ object model and exception handling semantics with low overhead.