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.