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.

Command-line JSON processor

OpenZFS on Linux and FreeBSD

NASA Operational Simulator for Space Systems

Gain observability into any Linux command or application with no code modification