python3.9-full
Python Interpreter with complete class library (version 3.9)
Python, the high-level, interactive object oriented language,
includes an extensive class library with lots of goodies for
network programming, system administration, sounds and graphics.
libvisp-core3.4
visual servoing platform core library
This package contains the ViSP (Visual Servoing Platform) core runtime
libraries.
libmgl8
library for scientific graphs (main 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.
jgmenu-xfce4-panel-applet
xfce4-panel applet for jgmenu
A stand-alone, contemporary-looking menu application for Linux and BSD.
Independent of window manager and panel. Designed for customisation,
scripting, ricing and tweaking
qt6ct
Qt6 Configuration Tool
Allows users to configure Qt6 settings (theme, font, icons, etc.)
under DE/WM without Qt integration.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality