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, ...).

libqcoro5websockets0

C++20 coroutines for Qt5 - WebSockets

QCoro is a C++ library that provide set of tools to make use of C++20 coroutines in connection with certain asynchronous Qt5 actions.

python3-bioxtasraw

process biological small angle scattering data

BioXTAS RAW is a GUI based, Python program for reduction and analysis of small-angle X-ray solution scattering (SAXS) data. The package is designed for biological SAXS data.

libcoq-menhirlib

support library for Coq-verified Menhir parsers

This package provides a support library for verified Coq parsers produced by Menhir.