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.