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
Qt6 Configuration Tool

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