postgresql-17-partman

PostgreSQL Partition Manager

pg_partman is a PostgreSQL extension to create and manage both time-based and serial-based table partition sets. Sub-partitioning is also supported. Child table & trigger function creation is all managed by the extension itself. Tables with existing data can also have their data partitioned in easily managed smaller batches. Optional retention policy can automatically drop partitions no longer needed. A background worker (BGW) process is included to automatically run partition maintenance without the need of an external scheduler (cron, etc) in most cases.

libtsan0-armel-cross

ThreadSanitizer -- a Valgrind-based detector of data races (runtime)

ThreadSanitizer (Tsan) is a data race detector for C/C++ programs. The Linux and Mac versions are based on Valgrind.

libtsan0-i386-cross

ThreadSanitizer -- a Valgrind-based detector of data races (runtime)

ThreadSanitizer (Tsan) is a data race detector for C/C++ programs. The Linux and Mac versions are based on Valgrind.

obs-text-slideshow

plugin for OBS Studio to present texts in videos

OBS plugin inspired by the built-in image slideshow, except for text sources instead. Useful for displaying song lyrics, captions, translations, etc.

haskell-what4-utils

Solver-agnostic symbolic values support for issuing queries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

libparted2t64

disk partition manipulator - shared library

GNU Parted is a program that allows you to create, destroy, resize, move, and copy disk partitions. This is useful for creating space for new operating systems, reorganizing disk usage, and copying data to new hard disks.