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.