For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Screaming-fast Python 3.5+ HTTP toolkit integrated with pipelining HTTP server based on uvloop and picohttpparser.

proxychains - a tool that forces any TCP connection made by any given application to follow through proxy like TOR or any other SOCKS4, SOCKS5 or HTTP(S) proxy. Supported auth-types: "user/pass" fo…

U8glib library for monochrome displays, version 2

Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.

Lightpack and Prismatik open repository

sound synthesis library for Arduino

A high-performance immutable mapping type for Python.

AVRDUDE is a utility to program AVR microcontrollers

Library for an ATTiny85 to use an SSD1306 powered, double buffered, 128x32 pixel OLED, over I2C

Source-code based coverage for eBPF programs actually running in the Linux kernel

SWC USB Adapter

Scalable, counting Bloom filters Redis Module