libghc-ogma-language-jsonspec-prof
Ogma: Runtime Monitor translator: JSON Frontend; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into
other systems. Ogma extends
<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
verification framework that generates hard real-time C99 code.
librte-baseband-acc100-22
Data Plane Development Kit (librte-baseband-acc100 runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.
python3-dio-chacon-wifi-api
Library implementing Wi-Fi protocol for DIO Chacon devices
This library provides an implementation of the Wi-Fi protocol for interacting
with DIO Chacon devices. It enables operations such as connecting to and
controlling switches and shutters over the cloud. The library supports listing
registered devices, checking their status, and executing actions like
switching power states or adjusting shutter positions. Connection to the
Chacon cloud server is maintained via a websocket, allowing for responsive
interactions. Automatic reconnection is a feature included for network
reliability.
libkokyu-7.0.8
ACE scheduling and dispatching library
Kokyu is a library designed to provide flexible scheduling and
dispatching services.
libmircore2
Mir Display Server - core library
Mir is a display server running on Linux systems, with a focus on efficiency,
robust operation and a well-defined driver model.
librte-acl22
Data Plane Development Kit (librte-acl runtime library)
DPDK is a set of libraries for fast packet processing. Applications run
in user-space and communicate directly with dedicated network interfaces.