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.

n³ The unorthodox terminal file manager

Linux shell for iOS

Hexagonal hierarchical geospatial indexing system

The seL4 microkernel