msolve is an open source C library implementing computer algebra algorithms for solving polynomial systems (with rational coefficients or coefficients in a prime field).

This package sets up virtual machines that will act as 2 spine switches and 3 racks with 2 leaf switches each, to simulate a datacenter setup. All 8 switches are connected to each other over un-numbered IPv6 link-local addresses over which a BGP link is established (ie: this is a bgp-to-the-host setup, or L3 only networking).

This package contains tools that use the DWARF debugging information inserted in ELF binaries by the compiler. This information is used by debuggers (e.g. GDB), and other tools such as systemtap.

Library for trellis coding modulation, including the Viterbi Algorithm, Concatenated Coding and Turbo Decoding based upon finite state machine (FSM) class. Part of the main gnuradio build.

HTSlib is an implementation of a unified C library for accessing common file formats, such as SAM (Sequence Alignment/Map), CRAM and VCF (Variant Call Format), used for high-throughput sequencing data, and is the core library used by samtools and bcftools. HTSlib only depends on zlib. It is known to be compatible with gcc, g++ and clang.

This package provides drm-shim libraries which can be used for testing DRM drivers when none exists on the host.