python3-upsetplot

Draw Lex et al.'s UpSet plots with Pandas and Matplotlib

This is another Python implementation of UpSet plots by Lex et al. [Lex2014]_. UpSet plots are used to visualise set overlaps; like Venn diagrams but more readable. Documentation is at https://upsetplot.readthedocs.io.

python3-imageio-ffmpeg

FFMPEG wrapper for Python

The purpose of this project is to provide a simple and reliable ffmpeg wrapper for working with video files. It implements two simple generator functions for reading and writing data from/to ffmpeg, which reliably terminate the ffmpeg process when done. It also takes care of publishing platform-specific wheels that include the binary ffmpeg executables.

php-symfony-orange-sms-notifier

Symfony Orange Sms Notifier Bridge

The Symfony Orange Sms Notifier Bridge provides Orange Sms integration for Symfony Notifier.

node-http-proxy

HTTP programmable proxying library that supports websockets.

It is suitable for implementing components such as reverse proxies and load balancers. A new proxy is created by calling createProxyServer and passing an options object as argument. var httpProxy = require('http-proxy'); var proxy = httpProxy.createProxyServer(options);

libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.