The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

A framework for distributed systems verification, with fault injection

Pluggable framework for building Verifiable Credentials ecosystems

Implementation of the HotStuff consensus protocol.

Advanced configuration options for sockets.

SDK for bundle protocol oriented application development

The Rust Performance Book

An experiment.

Function graph tracer for C/C++/Rust/Python

Application level tracing for Rust.

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Originator Profile Project

A high-throughput and memory-efficient inference and serving engine for LLMs

Artifact for OSDI'25 "Quantum Virtual Machines"

A site to provide non-judgmental guidance on choosing a license for your open source project

A DNS full resolver and a stub command

Task management for the Obsidian knowledge base.

A data index and query language over Markdown files, for https://obsidian.md/.

📘 A command line RSS/ATOM/JSON feed reader

An open-source AI agent that brings the power of Gemini directly into your terminal.

This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities

A fast linearizability checker written in Go 🔎

A9N is a Capability-based Microkernel / Microhypervisor in C++ with a Hardware Abstraction Layer (HAL) for easy portability and enhanced security.

A simple Type-1 hypervisor written in Rust that can boot Linux.

An embedded key/value database for Go.

Spring 2019 - Threshold Logical Clocks (TLC) prototype