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, ...).
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.
schroot
Execute commands in a chroot environment
schroot allows users to execute commands or interactive shells in
different chroots. Any number of named chroots may be created, and
access permissions given to each, including root access for normal
users, on a per-user or per-group basis. Additionally, schroot can
switch to a different user in the chroot, using PAM for
authentication and authorisation. All operations are logged for
security.
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.