The phpredis extension provides an API for communicating with the Redis key-value store. This Redis client implements most of the latest Redis API. One can use php-redis to talk with Redis server or…

Source: How to install VeraCrypt PIM encryption tool in Ubuntu Linux | H2S Media

Source: Svgbob Editor - Convert your ascii diagram scribbles into happy little SVG

a stable non-recursive merge sort 

Source: How HTTPS works Part 1 — Building Blocks - Animesh Gaitonde - Medium

Source: The Map of Mathematics | Quanta Magazine

Dead simple testing framework for Bash with rudimentary coverage.