idwcc
Client for OAuth2/OIDC AS configuration validation
Provides a web application to be used as an OpenID Connect or OAuth2
client for local tests or validation.
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.
libkpmcore12
KDE Partition Manager Core
KDE Partition Manager Core (KPM core) allows software to re-use
common partitioning GUI tasks.
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.
python3-flit-scm
PEP 518 build backend that uses setuptools_scm and flit
A PEP 518 build backend that uses setuptools_scm to generate a version file
from your version control system, then flit_core to build the package.
php-amphp-amp
Non-blocking concurrency framework for PHP
Amp is a non-blocking concurrency framework for PHP. It provides an event loop,
promises and streams as a base for asynchronous programming.