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.
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.
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.
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.
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.
python3-slepc4py-complex3.16
Python 3 bindings for SLEPc 3.16 libraries (complex numbers)
SLEPc is the Scalable Library for Eigenvalue Problem Computations.