libcoq-relation-algebra
relation algebra for Coq
This package provides a library on relation algebras, that
is those admitting heterogeneous binary relations as a model,
ranging from partially ordered monoid to residuated Kleen
allegories and Kleene algebras with tests.
libkwineffects13
KDE window manager effects library
KWin (pronounced as one syllable "kwin") is the window
manager for the KDE Plasma Desktop. It gives you complete
control over your windows, making sure they're not in the way
but aid you in your task. It paints the window decoration,
the bar on top of every window with (configurable) buttons
like close, maximize and minimize. It also handles placing
of windows and switching between them.
ebumeter
loudness measurement according to EBU-R128
These tools help controlling loudness of audio material aimed
primarily for broadcasting, but they can be useful in other
situation.
evolvotron
Generator of textures through interactive evolution
This is an interactive generative art application to evolve
images/textures/patterns/animations through an iterative process of random
mutation and user-selection driven evolution. This process is also often
referred to as "evolutionary art" or "genetic art". If you like lava lamps,
and still think the Mandelbrot set is cool, this could be the software for
you.
xineliboutput-wlfe
Remote X-Server frontend for vdr-plugin-xineliboutput
This Wayland remote frontend plays back streams provided by
vdr-plugin-xineliboutput.
postgresql-17-plsh
PL/sh procedural language for PostgreSQL 17
PL/sh enables an SQL developer to write procedural language functions
for PostgreSQL 17 in a shell of his choice. You need this package
if you have any PostgreSQL 17 functions that use the language plsh.