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.