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.
libcoq-math-classes
Abstract interfaces for mathematical structures for Coq
This library provides abstract interfaces for mathematical
structures for Coq, such as:
- algebraic hierarchy (groups, rings, fields, ...)
- relations, orders, ...
- Categories, functors, universal algebra, ...
- Numbers: N, Z, Q, ...
- Operations (shift, power, abs, ...).