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.