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.
beets
music tagger and library organizer
Beets is a media library management system for obsessive-compulsive music
geeks.