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.
gccgo-14-mips64-linux-gnuabi64
GNU Go compiler for the mips64-linux-gnuabi64 architecture
This is the GNU Go compiler for the mips64-linux-gnuabi64 architecture, which
compiles Go on platforms supported by the gcc compiler. It uses the gcc
backend to generate optimized code.