librte-net-qede22
Data Plane Development Kit (librte-net-qede runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
llvm-15-linker-tools
Modular compiler and toolchain technologies - Plugins
LLVM is a collection of libraries and tools that make it easy to build
compilers, optimizers, just-in-time code generators, and many other
compiler-related programs.
python3-headerparser
Parse key-value pairs in RFC 822 style headers
This Python module parses key-value pairs in the style of RFC 822 (e-mail)
headers and converts them into case-insensitive dictionaries with the
trailing message body (if any) attached. Low-level functions for just
scanning header fields (breaking them into sequences of key-value pairs
without any further processing) are also included.
libcoq-mathcomp-bigenough
epsilon - N reasoning for Mathematical Components
This package provides an extension to reason with big enough
objects (mostly natural numbers) for the Mathematical Components
library.
python3-robber
BDD / TDD assertion library for Python (Python 3)
Python Library that provides assertion functions for Test-driven
Development and Behavior-Driven Development.
libmozilla-ca-perl
Mozilla's CA cert bundle in PEM format
Mozilla::CA provides a copy of Mozilla's bundle of Certificate Authority
certificates in a form that can be consumed by modules and libraries based on
OpenSSL.