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.