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.