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