atomic package manager for macos

Fluent design gtk theme for linux desktops

sched_ext schedulers and tools

An open source payments switch written in Rust to make payments fast, reliable and affordable

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

A radical OCaml build system

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

Harmony, cadence, and phrase annotations for Mozart's 18 piano sonatas

Command-line JSON processor

Meta-Filesystem for remote software development

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

BORE (Burst-Oriented Response Enhancer) CPU Scheduler

A VA-API implemention using NVIDIA's NVDEC

Task Type (TT) is an alternative CPU Scheduler for linux.

Manage filesystem snapshots and allow undo of system modifications

A feature-rich command-line audio/video downloader

Development of userspace BTRFS tools

Useful snippets / tools for using WSL2 as a development environment

Automated Encryption Framework

Paper and talk

🛡️ Windows Hello™ style facial authentication for Linux

Enabling the Windows Subsystem for Linux to include support for Wayland and X server related scenarios

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Pretty, minimal and fast ZSH prompt

WSL replacement for notify-send

Let's sudo by face recognition of Windows Hello on Windows Subsystem for Linux (WSL). It runs on both WSL 1 and WSL 2. This is a PAM module for Linux on WSL.

A quick way into a systemd "bottle" for WSL