libghc-ogma-language-xlsx-prof

Runtime Monitor translator: XLSX 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.

libghc-ogma-language-smv-prof

Ogma: Runtime Monitor translator: SMV Language 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-bitratestats22

Data Plane Development Kit (librte-bitratestats 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-baseband-turbo-sw22

Data Plane Development Kit (librte-baseband-turbo-sw 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-baseband-null22

Data Plane Development Kit (librte-baseband-null runtime library)

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

opensmtpd-table-passwd

lookup OpenSMTPD users in passwd-format tables

This package provides the passwd table for OpenSMTPD. A "passwd" table stores information regarding local users. The information is encoded using the traditional passwd(5) format and allows the sharing of a user database across different software supporting this format.