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…

How to create an OS from scratch

build-once run-anywhere c library

NVIDIA Linux open GPU kernel module source

A Compiler Writing Journey

Public repository of the QuickJS Javascript Engine.

Quake III Arena GPL Source Release

tiniest x86-64-linux emulator

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

Linux kernel source tree

Common libraries and data structures for C.

A tiny C header-only risc-v emulator.

An 8-bit minicomputer with a fully custom architecture

A unit testing framework for C

8-bit chip and system emulators in standalone C headers

Linux 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…

Virtual computer

The NanoShell Operating System 🐢

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

Github mirror of os dev repo

Just SOEM Drivers

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.

NGDCS Imaging Spectroscopy Airborne Flight Computer Code