zarchive-tools
tool for creating and reading zstd-compressed files
ZArchive is yet another file archive format. Think of zip, tar, 7z,
etc. but with the requirement of allowing random-access reads and
supporting Zstandard compression.
libcoq-unicoq
enhanced unification algorithm for Coq
This package provides a new unification algorithm,
replacing the existing one through a plugin.
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-gpudev22
Data Plane Development Kit (librte-gpudev runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
python3-pacemaker
Pacemaker API for Python3
At its core, Pacemaker is a distributed finite state
machine capable of co-ordinating the startup and recovery of inter-related
services across a set of machines.
librte-fib22
Data Plane Development Kit (libfib runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.