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.