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.