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.