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.