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.