libcoq-mathcomp-fingroup

Mathematical Components library for Coq (finite groups)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

dasel

Query, update and convert data structures from the command line (program)

Dasel (short for data-selector) allows you to query and modify data structures using selector strings.

seergdb

gui frontend to gdb

This is a GUI for gdb.

libmgl-wnd8t64

library for scientific graphs (windows runtime library)

A free cross-platform library of fast C++ routines for plotting data in up to 3 dimensions. It can export plots to bitmaps and vector EPS, SVG, IDTF files. There are simple window interfaces based on GLUT, FLTK and/or Qt. MathGL can also be used in the console. There are interfaces to a set of languages, such as, C, Fortran, Pascal, Forth, Python, Octave.

qml6-module-quick3d-particles3d

Qt 6 Quick 3D Particles 3D 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.

libqt6sql6-psql

Qt 6 PostgreSQL database driver

This package contains the PostgreSQL plugin for Qt 6.