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.

rust-markdown

command line utility for parsing Markdown and outputting HTML

This package provides a command line utility `markdown` which uses the rust markdown crate to parse a markdown file and output HTML.

gccrs-13-aarch64-linux-gnu

GNU Rust compiler (cross compiler for arm64 architecture)

!!!!! Please note, the compiler is in a very early stage and not usable yet for compiling real Rust programs !!!!!