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.

libhipsolver0

portable interface for GPU LAPACK routines - library

hipSOLVER is a wrapper library that provides a common interface to rocSOLVER and cuSOLVER. The hipSOLVER library is designed to help applications using cuSOLVER to port their code to the ROCm platform.

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

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.

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