libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

libgvm22t64

remote network security auditor - shared libraries

The Open Vulnerability Assessment System is a modular security auditing tool, used for testing remote systems for vulnerabilities that should be fixed.

libopen3d0.14

Library for 3D data processing

Open3D is an open-source library that supports rapid development of software that deals with 3D data. The Open3D frontend exposes a set of carefully selected data structures and algorithms in both C++ and Python. The backend is highly optimized and is set up for parallelization.

phonon4qt6-backend-null

multimedia framework from KDE using Qt 6 - null back-end (no real back-end)

Phonon is a Qt 6 multimedia API, which provides a task-oriented abstraction layer for capturing, mixing, processing, and playing audio and video content.

wesnoth-1.18-tools

tools for campaign developers for Wesnoth (branch 1.18)

This package contains various tools for Wesnoth that are especially useful for campaign developers, including but not limited to scripts supporting the generation and checking of WML (Wesnoth Markup Language). You can find them in the directory /usr/share/games/wesnoth/1.18/data/tools after installation of the package.

dragonfly-reverb-vst3

Reverb effect plugins - VST3 plugins

Dragonfly Reverb is a bundle of free audio reverb effects: * Early Reflections - stereo-to-stereo reverb * Hall Reverb - stereo-to-stereo reverb * Plate - mono-to-stereo reverb * Room Reverb - stereo-to-stereo reverb