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.

libsigmf

SigMF data format handling library

A header-only C++ library for working with SigMF metadata. To use libsigmf, your application needs to #include <sigmf.h> and link to libflatbuffers.so.

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.