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.

pypy-asn1crypto

Fast ASN.1 parser and serializer (PyPy)

asn1crypto focuses on: - Delayed parsing of byte string values - Persistence of original ASN.1 encoded data until a value is changed - Lazy loading of child fields - Utilization of high-level Python stdlib modules

tmuxp

tmux session manager

tmux session manager allowing both JSON and YAML configuration formats. Available features: - allows both simple and very elaborate configs - can store and load multiple sessions - can custom startup scripts (such as installing project dependencies before loading tmux) - session freezing: snapshot your current tmux layout, pane paths, and window/session names, and dump the result as a tmuxp configuration