libcoq-iris

high-order concurrent separation logic framework for Coq

This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.

python3-rapidfuzz

Rapid fuzzy string matching library (Python library)

RapidFuzz is a fast string matching library for Python and C++, providing Levenshtein and other distances. This is similar to the functionality of the python3-fuzzywuzzy package. There are a few significant differences between these packages:

armnn-latest-ref

Arm NN Core and Reference backend

Arm NN is a set of tools that enables machine learning workloads on any hardware. It provides a bridge between existing neural network frameworks and whatever hardware is available and supported. On arm architectures (arm64 and armhf) it utilizes the Arm Compute Library to target Cortex-A CPUs, Mali GPUs and Ethos NPUs as efficiently as possible. On other architectures/hardware it falls back to unoptimised functions.

python3-rst2ansi

Python module to render reStructuredText to ansi-escaped strings

The rst2ansi project is a python module dedicated to rendering RST (reStructuredText) documents to ansi-escaped strings suitable for display in a terminal.

python3-pyppmd

PPM (Prediction by partial matching) compression algorithm for Python

pyppmd module provides classes and functions for compressing and decompressing text data, using PPM(Prediction by partial matching) compression algorithm which has several variations of implementations. PPMd is the implementation by Dmitry Shkarin. PyPPMD use Igor Pavlov's range coder introduced in 7-zip.

rocm-device-libs

AMD specific device-side language runtime libraries

Set of AMD specific device-side language runtime libraries, specifically: the Open Compute library controls, the Open Compute Math library, the Open Compute Kernel library, the OpenCL built-in library, the HIP built-in library, and the Heterogeneous Compute built-in library.