python3-pyside6.qtwebsockets

Python bindings for Qt 6 WebSockets module (Python 3)

pyside6 provides Python bindings for Qt 6.x framework.

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.