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.