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.