libcoq-mathcomp-abel

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

This package provides proofs of the Abel-Galois (solvability by radicals and solvability of the Galois group) and of the Abel-Ruffini theorem (general unsolvability of the quintic equations) using the Mathematical Components library.

librte-net-ngbe22

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

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

librte-net-null22

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

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

libmrpt-io2.14

Mobile Robot Programming Toolkit - io library

The Mobile Robot Programming Toolkit (MRPT) is an extensive, cross-platform, and open source C++ library aimed to help robotics researchers to design and implement algorithms in the fields of Simultaneous Localization and Mapping (SLAM), computer vision, and motion planning (obstacle avoidance).

go-msgauth

Go library and tools for DKIM, DMARC and Authentication-Results (program)

Tools included in go-msgauth:

instaloader

Instagram automatic photo downloader

Instaloader downloads photos from Instagram, including public and private profiles, hashtags, user stories, feeds and saved media. How as well as comments, geotags and captions for each post.