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.