libicu76

International Components for Unicode

ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains the runtime libraries for ICU.

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.

librte-vdpa-ifc25

Data Plane Development Kit (librte-vdpa-ifc 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-vdpa-mlx5-25

Data Plane Development Kit (librte-vdpa-mlx5 runtime library)

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

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.