Lists (2)
Sort Name ascending (A-Z)
Starred repositories
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…
NVIDIA Linux open GPU kernel module source
Public repository of the QuickJS Javascript Engine.
Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
8-bit chip and system emulators in standalone C headers
fail0verflow / ps4-linux
Forked from torvalds/linuxLinux kernel fork with PS4 support (work in progress)
MollenOS/Vali is a modern operating system that is built with focus on abstraction and a modular design, allowing anyone to port it to any architecture. It currently targets the x86-32 and x86-64 p…
GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.
An implementation of the Kaleidoscope language using Flex, Bison & the LLVM-C bindings.
A small operating system where I experiment and learn osdev.
GNU Binutils ported to support DARPA Cyber Grand Challenge
Contents from Windows CE-related .7z files in the Microsoft 2020/10/04 incident
Public release of Cassini SAR processor, preprocessor, and topography from SAR processor.