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.