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.
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.
qml6-module-qtquick3d-particleeffects
Qt 6 Quick 3D Particle Effects QML module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.