gcc-13-cross-base-ports

GCC, the GNU Compiler Collection (library base package)

This empty package contains changelog and copyright files common to all libraries contained in the GNU Compiler Collection (GCC).

gcc-13-arc-linux-gnu-base

GCC, the GNU Compiler Collection (base package)

This package contains files common to all languages and libraries contained in the GNU Compiler Collection (GCC).

libgenomicsdb0

sparse array storage library for genomics (shared libraries)

GenomicsDB is built on top of a htslib fork and an internal array storage system for importing, querying and transforming variant data. Variant data is sparse by nature (sparse relative to the whole genome) and using sparse array data stores is a perfect fit for storing such data.

jbmc

bounded model checker for Java programs

JBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

libgensio4

abstract stream I/O (runtime files)

This library (pronounced gen'-see-oh) is used to abstract stream I/O like serial port, TCP, telnet, UDP, SSL, IPMI SOL etc and offers a framework for giving a consistent view of various stream (and packet) I/O types. You create a gensio object (or a gensio), and you can use that gensio without having to know too much about what is going on underneath. You can stack gensio on top of another one to add protocol funcionality. For instance, you can create a TCP gensio, stack SSL on top of that, and stack Telnet on top of that. It supports a number of network I/O and serial ports. Gensio can be used for sending and receiving ports, and it also supports establishing encrypted and authenticated connections.

libqt6wlshellintegration6

Qt 6 Wayland ShellIntegration library

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.