libcoq-libhyps

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

libnvidia-tesla-535-ml1

NVIDIA Management Library (NVML) runtime library (Tesla 535 version)

The NVIDIA Management Library (NVML) provides a monitoring and management API. It provides a direct access to the queries and commands exposed via nvidia-smi.

python3-devolo-plc-api

Library to interact with devolo PLC devices

This library enables communication with devolo powerline communication (PLC) devices, supporting functionality such as device management, status monitoring, and network configuration. Users can control aspects like Wi-Fi settings, device discovery, and network statistics gathering. Through structured communication with the devices, the library helps in configuring and reading settings, including identifying device types, updating firmware, and monitoring connected clients. It's designed to work with various devolo devices and ensure effective management of your PLC network environment.

libphdi-utils

Parallels Hard Disk image (PHDI) format access library -- Utilities

libphdi is a library to access the Parallels Hard Disk image (PHDI) format.

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.

libnvidia-tesla-470-encode1

NVENC Video Encoding runtime library (Tesla 470 version)

The NVENC Video Encoding library provides an interface to video encoder hardware on supported NVIDIA GPUs.