Engineering

Software

Things I’ve built outside my research — systems software, developer tooling and a few applications. Mostly Rust, with some Go and C.

01 Systems

01 helixRust

A version control system with security as a first-class design concern.

02 nonceGo

An authentication Backend-as-a-Service.

03 xnapRust · Networking

Packet capture, flow tracking and policy enforcement. PCAP handling with DNS, TLS and HTTP decoding, and a query layer over captured flows.

04 python-gcRust · Runtime

A Python garbage collector in Rust: reference counting with cycle detection.

05 ferrisRust · Bare metal

A small operating system built from scratch — bootstrapping, memory management and interrupts.

06 dwRust · CLI

A download accelerator: parallel segmented transfers with resumption.

07 fwRust · Security

A forensic-grade file destruction utility for securely overwriting and deleting files and directories.

08 Arche LinuxShell · Distro

A minimal, lightweight, keyboard-driven distribution built on top of Arch Linux.

09 Kernel & driversC · Rust

Hardware Linux does not quite support yet: brcmsmac-rust, BCM4313 WiFi, and an ALPS touchpad patch for the Dell Inspiron N5040.

10 texmanRust · crates.io

A package manager for LaTeX.

11 pyxRust

An alternative to pip for Python.

12 archlinkRust

A pacman assistant.

13 copyfnZsh

An Oh My Zsh plugin for copying filenames.

14 nekogoGo

A cross-platform tunneling app, inspired by Nekoray.

15 proxideJavaScript

A Chrome extension for managing proxies.

16 doh-proxyJavaScript · DNS

A DNS-over-HTTPS proxy.

17 ClariFiWeb · Imaging

An open-source raw image engine for the web — RAW decoding and processing in the browser. Live demo.

18 yappDart · Flutter

An end-to-end encrypted messenger for Android.

19 botanicGo · Svelte

An open-source LLM wrapper around the OpenRouter and Ollama APIs.

20 tymioDart · Flutter

An in/out board app for tracking who is around.