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.

gpg-agent

GNU privacy guard - cryptographic agent

GnuPG is GNU's tool for secure communication and data storage. It can be used to encrypt data and to create digital signatures. It includes an advanced key management facility and is compliant with the proposed OpenPGP Internet standard as described in RFC4880.

gpg-wks-server

GNU privacy guard - Web Key Service server

GnuPG is GNU's tool for secure communication and data storage. It can be used to encrypt data and to create digital signatures. It includes an advanced key management facility and is compliant with the proposed OpenPGP Internet standard as described in RFC4880.

gpgconf

GNU privacy guard - core configuration utilities

GnuPG is GNU's tool for secure communication and data storage.

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.