libcoq-iris

high-order concurrent separation logic framework for Coq

This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.

k3conf

Powerful Diagnostic Tool for Texas Instruments K3 based Processors

K3CONF is a Linux user-space application designed to provide a quick'n easy way to dynamically diagnose Texas Instruments' K3 architecture based processors. k3conf is intended to provide a similar experience to that of OMAPCONF that runs on legacy TI platforms.

gir1.2-nautilus-4.0

libraries for nautilus components - gir bindings

Nautilus is the official file manager and graphical shell for the GNOME desktop.

libqgispython3.22.12

QGIS - shared Python library

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

gnome-shell-extension-flypie

innovative marking menu via keyboard shortcuts

Fly-Pie is an extension for GNOME Shell which lets you open marking menus via keyboard shortcuts. It is the first GNOME Shell extension with achievements!

libminizip1t64

compression library - minizip library

minizip is a minimalistic library that supports compressing, extracting, viewing, and manipulating zip files.