postgresql-17-hypopg
PostgreSQL extension adding support for hypothetical indexes.
An hypothetical, or virtual, index is an index that doesn't really exists, and
thus doesn't cost CPU, disk or any resource to create. They're useful to know
if specific indexes can increase performance for problematic queries, since
you can know if PostgreSQL will use these indexes or not without having to
spend resources to create them.
lem
Tool merging math and logic for executable definitions (tool)
Lem is a tool for lightweight executable mathematics, for writing,
managing, and publishing large-scale portable semantic definitions,
with export to LaTeX, executable code (currently OCaml) and
interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).
python3-meater-python
Library for interacting with the Meater cooking probe
This library provides a Python interface for interacting with the Meater smart
meat thermometer from Apption Labs. It enables communication with the Meater
Cloud API to retrieve data from Meater cooking probes. With this library, you
can authenticate with the Meater API, and obtain information about connected
probes, including their internal and ambient temperature readings.
Additionally, it allows querying for current cooking sessions and their
details, such as target temperatures and elapsed cooking time. The library
requires an active Wi-Fi and Bluetooth connection to the Meater Cloud for
device data synchronization.
postgresql-17-mimeo
specialized, per-table replication between PostgreSQL instances
Mimeo is a PostgreSQL extension that provides specialized, per-table
replication between PostgreSQL instances. It currently provides snapshot
(whole table copy), incremental (based on an incrementing timestamp or id),
and DML (inserts, updates and deletes) replication methods.
postgresql-17-debversion
Debian version number type for PostgreSQL
Debian version numbers, used to version Debian binary and source
packages, have a defined format, including specifications for how
versions should be compared in order to sort them. This package
implements a "debversion" type to represent Debian version numbers
within the PostgreSQL database. This also includes operators for
version comparison and index operator classes for creating indexes on
the debversion type.
python3-pyisy
Library for interacting with Universal Devices ISY controllers
This library provides functionality to interact with various Universal Devices
ISY controllers, including ISY994, IoX, Polisy, and eisy models. It enables
communication with nodes, programs, variables, and the network module of ISY
controllers. The library supports operations such as querying device statuses,
executing commands, and monitoring changes automatically from the devices.
Compatible with Insteon, Z-Wave, Zigbee, X10, and Matter protocols, this
library facilitates comprehensive home automation management by integrating
multiple device types and control functionalities into one cohesive interface.