Agentic review of Linux Kernel code changes

A modern, Linux compatible OS kernel

Shuttle is a library for testing concurrent Rust code

The program that sings Guru Josh Project's Infinity 2008 (Klaas Vocal Edit)

Lean 4 programming language and theorem prover

isd (interactive systemd) – a better way to work with systemd units

More files per file: hide files by storing them in the metadata of other files

(educational) build your own disk based KV store

A hobby x86-64 operating system written in Rust

The Cloud Native Control Plane

A massive collaborative rube goldberg machine.

Concurrency permutation testing tool for Rust.

A True Instrumentable Binary Emulation Framework

A simple, fast, and secure operating system for the cloud.

Proxy-WASM filter for 3scale integration

A list of engineering manager resource links.

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

Tooling for creating your own distributed systems.

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

A brief computer graphics / rendering course

A simple computer made from scratch

🦀 464b rust binary on windows

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

📚 Learn to write an embedded OS in Rust 🦀

Fully transparent SSH, HTTPS, Kubernetes, MySQL and Postgres bastion/PAM that doesn't need additional client-side software

Language development libraries for Rust

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

A memory profiler for Linux.

Adding support for the Rust language to the Linux kernel.