libuhttpmock-1.0-1
HTTP web service mocking - library
uhttpmock is a HTTP web service mocking project for projects which use
libsoup. It is still in its infancy, but is already used by libgdata
for unit testing.
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.
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.
libkpmcore12
KDE Partition Manager Core
KDE Partition Manager Core (KPM core) allows software to re-use
common partitioning GUI tasks.