librte-net-avp22

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

contactsd

Telepathy - QtContacts bridge for contacts

contactsd is a service for collecting and observing changes in roster list from all the users telepathy accounts (buddies, their status and presence information), and store it to QtContacts.

python3-bqplot

Interactive plotting for the Jupyter notebook

2-D plotting library for Project Jupyter

libcoq-reduction-effects

reduction effects for Coq

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