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 Small Satellites

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

PySWMM Stormwater Management Model repository

This Cooperative Automated Vehicle (AV) platform was the initial proof-of-concept for the current CARMAPlatform. This repository serves as an archive.