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.