librte-graph22

Data Plane Development Kit (librte-graph runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librte-gso22

Data Plane Development Kit (librte-gso runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libkf5newstuffwidgets5

Support for downloading application assets from the network.

Framework for idownloading and sharing additional application data.

btrfs-assistant

Qt GUI tool to manage Btrfs filesystems

Btrfs Assistant is a Qt GUI management tool to make managing a Btrfs filesystem easier. The primary features it offers are:

libcoq-mtac2

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

gcc-14-offload-nvptx

GCC offloading compiler to NVPTX

The package provides offloading support for NVidia PTX. OpenMP and OpenACC programs linked with -fopenmp will by default add PTX code into the binaries, which can be offloaded to NVidia PTX capable devices if available.