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.