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.
Menu->Settings->Render parameters (2->1)

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.