kcptun
Simple UDP Tunnel Based On KCP
kcptun is a remote port forwarding tool by converting TCP stream into
UDP stream in KCP protocol, in order to achieve higher throughput or
lower latency with rich tuneable options.
libass9
library for SSA/ASS subtitles rendering
SubStation Alpha (SSA) is a subtitle file format that allows more
advanced subtitles than the conventional SRT and similar formats.
libx265-116
H.265/HEVC video stream encoder (shared library)
python-asn1crypto
Fast ASN.1 parser and serializer (Python 2)
gcc-13-arc-linux-gnu-base
GCC, the GNU Compiler Collection (base package)
This package contains files common to all languages and libraries
contained in the GNU Compiler Collection (GCC).
jbmc
bounded model checker for Java programs
JBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.