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, ...).
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.
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.
libtepl-6-0
Text editor library for GTK
Tepl is a library that eases the development of GtkSourceView-based text
editors and IDEs. Tepl is the acronym for “Text editor product line”. It
serves as an incubator for GtkSourceView.
libnvidia-tesla-ngx1
NVIDIA NGX runtime library (Tesla version)
The NVIDIA binary driver provides optimized hardware acceleration of
OpenGL/GLX/EGL/GLES applications via a direct-rendering X Server
for graphics cards using NVIDIA chip sets.
libnvidia-tesla-nvvm4
NVIDIA NVVM Compiler library (Tesla version)
The Compute Unified Device Architecture (CUDA) enables NVIDIA
graphics processing units (GPUs) to be used for massively parallel
general purpose computation.