libstdc++-11-pic-armel-cross

GNU Standard C++ Library v3 (shared library subset kit) (armel)

This is used to develop subsets of the libstdc++ shared libraries for use on custom installation floppies and in embedded systems.

librte-net-mlx4-22

Data Plane Development Kit (librte-net-mlx4 runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

libghc-what4-prof

Solver-agnostic symbolic values support for issuing queries; profiling libraries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

gfortran-14-multilib-mips-linux-gnu

GNU Fortran compiler (multilib support) (cross compiler for mips architecture)

This is the GNU Fortran compiler, which compiles Fortran on platforms supported by the gcc compiler.

gfortran-14-mipsisa64r6-linux-gnuabi64

GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture

This is the GNU Fortran compiler for the mipsisa64r6-linux-gnuabi64 architecture, which compiles Fortran on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

python3-json-log-formatter

JSON formatter logging for Python

This library allows one to configure Python logging to use a JSON formatter.