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.

python3-topplot

Python modules to munge top logs using topplot

topplot produces graphs of information it munges from top logs. It can select which processes to focus on, and it can split out information by cpu core (if top was configured to record the cpu core column, and/or display the cpu summary info by core). topplot can save the graphs as PNG files. It can also print information derived from the logs to stdout, with or without emitting the graphs. There may be better, more efficient ways of collecting live system information, but if for some reason you've hundreds of thousands of lines of top logs and you want to see what's in them, topplot can help.