Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

no_std ROS 2 client for microcontrollers and RTOS (Zephyr, FreeRTOS, NuttX, ThreadX) and Linux. Rust-first with C/C++ APIs; pluggable Zenoh / XRCE-DDS / Cyclone DDS backends; interoperates with sta…

A retargetable MLIR-based machine learning compiler and runtime toolkit.

cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.

Replace all the dynamic heap allocation functions by LD_PRELOAD.

A comprehensive Rust sandbox implementation that provides process isolation

Space Station OS. A future where anyone can develop space stations.

The ComponentContainer and Executor that assign a dedicated thread for each callback group.

A rclcpp-compatible true zero-copy IPC middleware that supports all ROS message types, including message structs already generated by rosidl.

Awkernel: realtime operating system written in Rust

Visualization of the COMPLETE MEMORY MAP of any given process

RD-Gen (random DAG generator considering multi-rate applications for reproducible scheduling evaluation) is a tool for researchers targeting DAGs.

SCX callback analyzer using Perfetto.

Integration of NVIDIA Nova Carter with Autoware

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

Linux v6.11 Kernel Module for Print VMA

Verified Rust for low-level systems code

This repository contains a minimal implementation of an scx scheduler.

A simple kernel module using struct_ops and a corresponding BPF program

Let's build a symbolic model checker from scratch in Rust !

A proof-of-concept microkernel that runs WebAssembly natively.