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