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.
libmlir-19
Multi-Level Intermediate Representation library
Novel approach to building reusable and extensible compiler infrastructure.
MLIR aims to address software fragmentation, improve compilation for
heterogeneous hardware, significantly reduce the cost of building domain
specific compilers, and aid in connecting existing compilers together.
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, ...).