Starred repositories
View disk space usage and delete unwanted data, fast.
Voice-to-text with push-to-talk for Wayland compositors
A free, open source, and extensible speech-to-text application that works completely offline.
RL training environments for Microduck (mjlab)
NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…
Skills for Real Engineers. Straight from my .agents directory.
Kontroll demonstates how to control the Keymapp API, making it easy to control your ZSA keyboard from the command line and scripts.
Reusable JavaScript library for creating sketchy/hand-drawn styled charts in the browser.
Daemon for easy but powerful stats aggregation
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
Simulation platform for general-purpose robotics & embodied AI learning.
Multi-Joint dynamics with Contact. A general purpose physics simulator.
An Every Day Calendar with Dark Mode
Easy self-referential struct generation for Rust.
A reference implementation for the specification that can create and configure a dev container from a devcontainer.json.
A bounded multi-producer multi-consumer concurrent queue written in C++11
C++14 concurrent lock-free low-latency queue.
A fast single-producer, single-consumer lock-free queue for C++
An open-source C++ library developed and used at Facebook.
🦀 Rust API, 🐍 Python API, and 🤖 MCP Server for TP-Link Tapo smart devices
A markup-based typesetting system that is powerful and easy to learn.