The eBPF tool and systems inspection framework for Kubernetes, containers and Linux hosts.

Rust support for seL4 userspace

SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)

Tool for data extraction and interacting with Lean programmatically.

LlamaIndex is a data framework for your LLM applications

The Kubernetes Package Manager

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

eBPF distributed networking observability tool for Kubernetes

A modern proof language

A massively parallel, high-level programming language

Label Studio is a multi-type data labeling and annotation tool with standardized output format

Self-hosted game stream host for Moonlight.

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

A look at inner workings of Joycon and Nintendo Switch

Control your Nintendo Switch through a website, terminal, or macro.

Stay Focused. Take a Break.

Simple Turn-based Game

🐚 Python-powered shell. Full-featured and cross-platform.

A sophisticated low memory handler for Linux

Curated list of resources for ESP32 development in the Rust programming language

Measures the latency between CPU cores

Nintendo Switch Online/Parental Controls app APIs. Show your Nintendo Switch presence in Discord, get friend notifications on desktop, and download and access SplatNet 2, NookLink, SplatNet 3 and P…

🔭 Secret discovery service (SDS): simplifying certificate management for relying parties (such as Envoy)

Experimental web dashboard/desktop client for BoltConn

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

A massively parallel, optimal functional runtime in Rust

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

A fast, light-weight proxy for memcached and redis