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.