fis-gtm-7.0

FIS-GT.M database version 7.0-002

GT.M is a database engine with scalability proven in large real-time transaction processing systems that have thousands of concurrent users, individual database file sizes to the Terabyte range (with virtually unlimited aggregate database sizes). Yet the light footprint of GT.M allows it to also scale down for use in small applications and software appliances (virtual machines).

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.

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.