wayfire

3D Wayland compositor

Wayfire is a 3D Wayland compositor, inspired by Compiz and based on wlroots. It aims to create a customizable, extendable and lightweight environment without sacrificing its appearance.

librte-metrics22

Data Plane Development Kit (librte-metrics runtime library)

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

libghc-ogma-spec-prof

Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries

Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.

librte-raw-ifpga22

Data Plane Development Kit (librte-raw-ifpga 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-raw-skeleton22

Data Plane Development Kit (librte-raw-skeleton 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-rawdev22

Data Plane Development Kit (librte-rawdev runtime library)

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