librte-vdpa-nfp25

Data Plane Development Kit (librte-vdpa-nfp 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-art

ASCII art

ASCII art is also known as "computer text art". It involves the smart placement of typed special characters or letters to make a visual shape that is spread over multiple lines of text.

librte-vhost25

Data Plane Development Kit (librte-vhost runtime library)

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

libcalceph2

Shared library for planetary ephemeris data access

The CALCEPH Library is designed to access the binary planetary ephemeris files, such INPOPxx and JPL DExxx ephemeris files, and the SPICE kernel (SPK) files.

libcoq-stdlib

proof assistant for higher-order logic (theories)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

coq-dpdgraph-tools

Coq plugin to extract dependencies between Coq objects (tools)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.