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.
libstd-rust-1.77
Rust standard libraries
Rust is a curly-brace, block-structured expression language. It
visually resembles the C language family, but differs significantly
in syntactic and semantic details. Its design is oriented toward
concerns of "programming in the large", that is, of creating and
maintaining boundaries - both abstract and operational - that
preserve large-system integrity, availability and concurrency.