libqgispython3.22.10
QGIS - shared Python library
QGIS is a Geographic Information System (GIS) which manages, analyzes and
display databases of geographic information.
nvidia-cuda-samples
Samples which demonstrate features in NVIDIA CUDA Toolkit
This package contains a collection of example codes demonstrating various
features of the NVIDIA CUDA Toolkit.
postgresql-14-repmgr
replication manager for PostgreSQL 14
repmgr is an open-source tool suite for managing replication and failover in a
cluster of PostgreSQL servers. It enhances PostgreSQL's built-in hot-standby
capabilities with tools to set up standby servers, monitor replication, and
perform administrative tasks such as failover or manual switchover operations.
libcoq-simple-io
Coq plugin for purely functional IO
This package provides a plugin to implement
Input/Output (IO) programs directly in Coq, in a
style similar to Haskell's.
libcoq-stdpp
Extended standard library for Coq
This package provides an extended standard library
for Coq, for instance:
- a great number of definitions and lemmas for common data
structures like lists, finite maps and finite multisets ;
- type classes for common properties like decidable equality,
finiteness or countability ;
- various tactics for common tasks ;
all of this dependency-free and axiom-free.
nvidia-settings-tesla
tool for configuring the NVIDIA graphics driver (Tesla version)
The nvidia-settings utility is a tool for configuring the NVIDIA
Linux graphics driver. It operates by communicating with the NVIDIA
X driver, querying and updating state as appropriate. This
communication is done with the NV-CONTROL X extension.