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.

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.

arjun

HTTP parameter discovery suite

This package can find query parameters for URL endpoints.

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.

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.

libcoq-equations

Coq library to work with functions defined by equations

This library provides a notation to write programs using dependent pattern-matching and well-founded recursion in Coq.