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.

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…

The Reliable USB Formatting Utility

Open-source KVM software

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

OpenCore bootloader

Intel Wi-Fi Drivers for macOS

Bootloader for macOS, Windows and Linux in UEFI and in legacy mode

Arbitrary kext and process patching on macOS