libcoq-mathcomp-finmap

finite sets and maps extension for Mathematical Components

This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library.

librte-net-qede22

Data Plane Development Kit (librte-net-qede runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

node-json-schema-merge-allof

Node.js module to merge schemas combined using allOf

node-json-schema-merge-allof merge schemas combined using allOf into a more readable composed schema free from allOf. Features: - Real and safe merging of schemas combined with allOf - Takes away all allOf found in the whole schema - Lossless in terms of validation rules, merged schema does not validate more or less than the original schema - Results in a more readable root schema - Removes almost all logical impossibilities - Throws if no logical intersection is found (your schema would not validate anything from the start) - Validates in a way not possible by regular simple meta validators - Correctly considers additionalProperties, patternProperties and properties as a part of an whole when merging schemas containing those - Correctly considers items and additionalItems as a whole when merging schemas containing those - Supports merging schemas with items as array and direct schema - Supports merging dependencies when mixed array and schema - Supports all JSON schema core/validation keywords (v6, use custom resolvers to support other keywords) - Option to override common impossibility like adding properties when using "additionalProperties: false" - Pluggable keyword resolvers It provides also json-schema-compare to compare JSON schemas correctly.

python3-luma.emulator

library provides a series of pseudo-display devices for luma.core

Library provides a series of pseudo-display devices which allow the luma.core components to be used without running a physical device. These include: Real-time (pixel) emulator, based on pygame LED matrix and 7-segment renderers PNG screen capture Animated GIF animator Real-time ASCII-art & block emulators

autotiling

automatically switch the window split orientation in sway and i3

This script uses the i3ipc-python library to switch the layout splith/splitv depending on the currently focused window dimensions. It works on both sway and i3 window managers.

varnish-selector

match strings with backends, regexen and other strings

Varnish Module (VMOD) for matching strings against sets of fixed strings. A VMOD object may also function as an associative array, mapping the matched string to one or more of a backend, another string, an integer, or a regular expression. The string may also map to a subroutine that can be invoked.