python3-home-assistant-bluetooth
Home Assistant Bluetooth Models and Helpers
This library is for accessing Home Assistant Bluetooth models. Libraries use
these models to receive and parse Bluetooth advertisement data.
interception-tools
minimal composable infrastructure on top of libudev and libevdev
The Interception Tools is a small set of utilities for operating on
input events of evdev devices.
libkpmcore12
KDE Partition Manager Core
KDE Partition Manager Core (KPM core) allows software to re-use
common partitioning GUI tasks.
circle-term
terminal frontend for the Circle application host
The circle-fe-term script and the Circle::FE::Term module provide a terminal
frontend to the Circle application host, packaged as circle-backend.
libcoq-paramcoq
Coq plugin to generate parametricity statements
This package provides a plugin for Coq to generate
parametricity statements, typically used in data refinement
proofs.
interception-tools-compat
minimal composable infrastructure on top of libudev and libevdev
The Interception Tools is a small set of utilities for operating on
input events of evdev devices.