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.

btm

customizable graphical process/system monitor for the terminal

bottom (executable name btm) is a customizable graphical process/system monitor for the terminal, inspired by gtop, gotop, and htop.

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.

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.

libghc-copilot-prettyprinter-prof

Prettyprinter of Copilot Specifications; profiling libraries

Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools.

python3-slepc4py-complex3.16

Python 3 bindings for SLEPc 3.16 libraries (complex numbers)

SLEPc is the Scalable Library for Eigenvalue Problem Computations.