savvy-util
conversion tool for SAV file format
Savvy is the official C++ interface for the SAV file format and offers
seamless support for BCF and VCF files.
postgresql-17-pg-catcheck
Postgres system catalog checker
PostgreSQL stores the metadata for SQL objects such as tables and functions
using special tables called system catalog tables. pg_catcheck is a simple
tool for diagnosing system catalog corruption. If you suspect that your system
catalogs are corrupted, this tool may help you figure out exactly what
problems you have and how serious they are. If you are paranoid, you can run
it routinely to search for system catalog corruption that might otherwise go
undetected.
libmfx-gen1.2
Intel VPL GPU Runtime -- shared library
Intel Video Processing Library GPU Runtime is a Runtime implementation of
Intel VPL API for Intel Gen GPUs. Runtime provides access to
hardware-accelerated video decode, encode and filtering.
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).