libportal-gtk4-1

Flatpak portal library for GTK 4 GUIs

libportal provides GIO-style C APIs for most Flatpak portals' D-Bus interfaces. It is primarily intended for installation in Flatpak runtimes, where applications can use it to interact with portals; it can also be used to test the portal services.

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

libvirt-daemon-plugin-sanlock

virtualization daemon - locking plugin (sanlock)

libvirt exposes a long-term stable API that can be used to interact with various hypervisors. Its architecture is highly modular, with most features implemented as optional drivers. It can be used from C as well as several other programming languages, and it forms the basis of virtualization solutions tailored for a range of use cases.

libqgis-server3.40.5

QGIS - shared server library

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

librte-net-mlx4-25

Data Plane Development Kit (librte-net-mlx4 runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

python3-renpy

framework for developing visual-novel type games - Python module

Ren'Py is a programming language and runtime, intended to ease the creation of visual-novel type games. It contains features that make it easy to display thoughts, dialogue, and menus; to display images to the user; to write game logic; and to support the saving and loading of games.