libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.

librte-net-memif22

Data Plane Development Kit (librte-net-memif runtime library)

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

libcoq-reduction-effects

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

librte-net-mlx5-22

Data Plane Development Kit (librte-net-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.

python3-phonopy

phonon calculations at harmonic and quasi-harmonic levels (Python 3)

Phonopy is an open source package for phonon calculations at harmonic and quasi-harmonic levels.