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 !!!!!