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.

node-lezer-xml

Node.js module to provide XML grammar for the lezer parser system

The problem of parsing structured text has resisted one-size-fits all solutions for over 60 years. Lezer isn't such a solution either, but it is a very decent parser generator, especially well suited for use in code editors.

libamdhip64-5

Heterogeneous Interface for Portability - AMD GPUs implementation

This package is central to the ROCm stack. It is at the exchange point between the low-level libraries - kernel module ROCk, thunk ROCt, runtime ROCr, etc, and user-facing libraries - rocRAND, rocBLAS, rocFFT, rocSPARSE, etc.

libhiprtc-builtins5

HIP Run Time Compilation libraries

HIP allows one to compile kernels at runtime with its hiprtc* APIs. hipRTC APIs accept HIP source files in character string format as input parameters and create handles of programs by compiling the HIP source files without spawning separate processes.