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.