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.