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.