libkf6baloowidgets6

Wigets for use with Baloo

Baloo is a framework for searching and managing metadata.

udisks2-btrfs

BTRFS support for udisks2

The udisks daemon serves as an interface to system block devices, implemented via D-Bus. It handles operations such as querying, mounting, unmounting, formatting, or detaching storage devices such as hard disks or USB thumb drives.

libpgocaml-ocaml

OCaml type-safe bindings for PostgreSQL (runtime)

PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code. Moreover, it uses the describe feature of PostgreSQL to obtain type information about the database. This allows PG'OCaml to check at compile-time if the program is indeed consistent with the database structure. This type-safe database access is the primary advantage that PG'OCaml has over other PostgreSQL bindings for OCaml.

prometheus-redis-exporter

Prometheus exporter for Valkey metrics (Redis-compatible)

Supports Valkey and Redis 2.x, 3.x, 4.x, 5.x, 6.x, and 7.x.

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.
music tagger and library organizer

beets

music tagger and library organizer

Beets is a media library management system for obsessive-compulsive music geeks.