Halide is a programming language designed to make it easier to write high-performance image and array processing code on modern machines. Halide currently targets: * CPU architectures: X86, ARM, Hexagon, PowerPC, RISC-V * Operating systems: Linux, Windows, macOS, Android, iOS, Qualcomm QuRT * GPU Compute APIs: CUDA, OpenCL, Apple Metal, Microsoft Direct X 12, Vulkan Rather than being a standalone programming language, Halide is embedded in C++. This means you write C++ code that builds an in-memory representation of a Halide pipeline using Halide's C++ API. You can then compile this representation to an object file, or JIT-compile it and run it in the same process.

This package contains the ViSP (Visual Servoing Platform) image processing runtime library.

s2geometry is for manipulating geometric shapes. Unlike many geometry libraries, S2 is primarily designed to work with spherical geometry, i.e., shapes drawn on a sphere rather than on a planar 2D map. This makes it especially suitable for working with geographic data.

Equihash implements the algorith as described in "Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem" by Alex Biryukov and Dmitry Khovratovich, 2016, DOI:10.14722/ndss.2016.23108. This code, by Stefan Marsiske, is a fork of an earlier implementation by Khovratovich at https://github.com/khovratovich/equihash/ . The cryptographic password storage SPHINX (pwdsphinx and libsphinx) depend upon equihash.

s6 is a small suite of programs for UNIX, designed to allow process supervision (a.k.a service supervision), in the line of daemontools and runit, as well as various operations on processes and daemons. It is meant to be a toolbox for low-level process and service administration, providing different sets of independent tools that can be used within or without the framework, and that can be assembled together to achieve powerful functionality with a very small amount of code.

SAIL is a fast and lightweight cross-platform image decoding and encoding library providing multi-leveled APIs from one-liners to complex use-cases with custom I/O sources.