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.