libtelepathy-glib0t64

Telepathy framework - GLib library

This package contains telepathy-glib, a GLib-based library for Telepathy components.

python3-suitesparse-graphblas

Python CFFI Binding around SuiteSparse:GraphBLAS (Python 3)

python3-suitesparse-graphblas is a base package that exposes only the low level CFFI API bindings and symbols around SuiteSparse:GraphBLAS. This package is shared by the syntax bindings pygraphblas and grblas.

python3-simpleobsws

simple obs-websocket library in Python for people who just want JSON output

Allows you to control OBS via it's websocket API from Python.

ofhash

Utility to hash files with various cryptographic hash functions

ofhash is an utility to hash files with various cryptographic hash functions (even using different algorithms at once) using ObjFW's classes for various cryptographic hashes.

libtty1t64

terminal/ttyrec library -- runtime

libtty is a library for handling terminal output. It is kind of "reverse curses" -- it is on the receiving end of tty data, accepting vt100 codes and managing a virtual terminal. It lacks input handling thus is unfit for a real terminal emulator, but includes functions for storing a history of frames to handle a "video" recording.

libcvc5-1

automated theorem prover for SMT problems (runtime)

cvc5 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is the fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4.