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.