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.
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.