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.

gdc-13-mipsisa64r6-linux-gnuabi64

GNU D compiler (version 2) for the mipsisa64r6-linux-gnuabi64 architecture

This is the GNU D compiler for the mipsisa64r6-linux-gnuabi64 architecture, which compiles D on platforms supported by gcc. It uses the gcc backend to generate optimised code.

openjdk-21-demo

Java runtime based on OpenJDK (demos and examples)

OpenJDK Java runtime