Simple Qt5 archive manager; front-end for libarchive, gzip and 7z.

arqiver

Simple Qt5 archive manager; front-end for libarchive, gzip and 7z.

Arqiver can extract, create and edit archives that are supported by its back-ends. It can open archives by drag-and-drop. With 7z, it also supports password protection.

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-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.

libsswmcpl1

Monte Carlo Particle Lists - SSW library

This package includes the shared library for reading and writing *.mcpl files, a binary format with lists of particle state information, for interchanging and reshooting events between various Monte Carlo simulation applications.

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.