librte-dma-dpaa23

Data Plane Development Kit (librte-dma-dpaa runtime library)

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

libcoq-mathcomp-zify

Micromega arithmetic solvers for Mathematical Components

This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.

python3-pywavefront

Python 3 loader for Wavefront OBJ files

PyWavefront reads Wavefront 3D object files (something.obj, something.obj.gz and something.mtl) and generates interleaved vertex data for each material ready for rendering.

gcc-13-locales

GCC, the GNU compiler collection (native language support files)

Native language support for GCC. Lets GCC speak your language, if translations are available.

libjose4j-java

implementation of JSON Web Token (JWT) and the JOSE specification suite

The jose.4.j library is a robust and easy to use open source implementation of JSON Web Token (JWT) and the JOSE specification suite (JWS, JWE, and JWK). It is written in Java and relies solely on the JCA APIs for cryptography. Please see https://bitbucket.org/b_c/jose4j/wiki/Home for more info, examples, etc.

gcc-13

GNU C compiler

This is the GNU C compiler, a fairly portable optimizing compiler for C.