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

valac-0.28-vapi

C# like language for the GObject system - vapi files

libopencv-highgui2.4v5

computer vision High-level GUI and Media I/O library

python-rasterio

Python 2 API for using geospatial raster data with Numpy

Rasterio reads and writes geospatial raster datasets.

libunique-3.0-0

Library for writing single instance applications - shared libraries