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.
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-xmlspec-prof
Ogma: Runtime Monitor translator: XML 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-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.
python3-hvac
HashiCorp Vault API client - Python 3.x
This python module provides an API to the HashiCorp Vault.
librte-bus-vmbus22
Data Plane Development Kit (librte-bus-vmbus runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.