node-vega-tooltip

Tooltip for node-vega and node-vega-lite

node-vega-tooltip is a tooltip plugin for Vega and Vega-Lite visualizations. This plugin implements a custom tooltip handler for Vega that uses custom HTML tooltips instead of the HTML title attribute.

python3.12-nopie

Python interpreter linked without PIE (version 3.12)

This package contains the interpreter not built as position independent executable. This interpreter is diverting the python3.12 executable, and making the interpreter built with PIE available as python3.12-pie.

postgresql-16-auto-failover

Postgres high availability support

This extension implements a set of functions to provide High Availability to Postgres.

libdigidoc2t64

DigiDoc digital signature library

DigiDoc is an XML file format for documents with digital signatures in use by the Estonian ID card infrastructure. This library allows for creation and reading of DigiDoc files.

libexplain51t64

library of system-call-specific strerror repl

This package provides a library which may be used to explain Unix and Linux system call errors. The library is not quite a drop-in replacement for strerror, but it comes close, with each system call having a dedicated libexplain function.

libcoq-unimath

univalent formalization of mathematics for Coq

This package provides a library to formalize a substantial body of mathematics using the univalent point of view.