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.