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.

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.

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).

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.

openpgp-card-state

Tool for interrogating stored state associated with OpenPGP cards

Other Rust programs can use the Rust openpgp-card-state crate to cache state about any OpenPGP card. This binary lets the user interrogate (via the command line) the state held for these cards by this library.

scaphandre-docs

energy consumption monitoring agent - documentation

Scaphandre is a metrology agent dedicated to electric power and energy consumption metrics. The goal of the project is to permit to any company or individual to measure the power consumption of its tech services and get this data in a convenient form, sending it through any monitoring or data analysis toolchain.