Linux kernel source tree

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.

The Reliable USB Formatting Utility

A time-series database for high-performance real-time analytics packaged as a Postgres extension

A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.