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.

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.

libvpx9

VP8 and VP9 video codec (shared library)

VP8 and VP9 are open video codecs, originally developed by On2 and released as open source by Google Inc. They are the successor of the VP3 codec, on which the Theora codec was based.

libunix-errno-ocaml

errno variant that includes a variety of constructors

An errno variant similar to Unix.error but including POSIX 2008, Linux, OS X, and FreeBSD constructors. A macro definition type is also provided in order to transport a specific errno-integer map as is the case with FUSE or 9p2000.u. The types and their functions reside in Errno and are independent of any Unix bindings. This makes the library's types usable from MirageOS on top of Xen.