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.
libtevent0t64
talloc-based event loop library - shared library
tevent is a simple library that can handle the main event loop for an
application. It supports three kinds of events: timed events, file
descriptors becoming readable or writable and signals.
nvidia-tesla-510-driver
NVIDIA metapackage (Tesla 510 version)
This metapackage depends on the NVIDIA binary driver and libraries
that provide optimized hardware acceleration of
OpenGL/GLX/EGL/GLES/Vulkan applications via a direct-rendering X Server.