farkhad
bennett

A SQL linter that finishes in 34 milliseconds on the corpus where SQLFluff takes 15.3 seconds. Seventy-two rules, six dialects, one Rust binary. LSP, VSCode extension, pre-commit hook, GitHub action, SARIF reporter, baseline mode for legacy adoption.

A deterministic record-and-replay runtime that became a tiny language this week. Every effect a program performs is logged. Replay reproduces them byte-for-byte. A flaky test from Monday replays the same failure on Friday, on a plane, identical, in a fraction of the wall-clock time.

A local proxy for LLM APIs that caches calls and keeps a running tally of monthly spend. Saved me about eighty dollars in the first week. MIT, no telemetry, no account, runs on the same laptop as your code.

A bytecode VM with a one-pass x86-64 JIT, hand-written. Twelve times faster than the bytecode interpreter on a tight loop. Written to learn how JITs work, not to compete with Cranelift.

A pure-Rust implementation of FIPS 203 ML-KEM, the post-quantum key encapsulation mechanism. All three security levels, 180 official ACVP vectors green, ten Kani-verified properties, a constant-time argument backed by dudect timing data.

A multitasking x86-64 kernel in 785 lines of C and assembly. Boots under QEMU, schedules three demo tasks via a fourteen-instruction context switch, takes keyboard input, has a bump heap.

A macOS menu-bar app. Ten widgets, Swift-native, no Electron. The first menu-bar app I have used long enough to forget I installed it.

A registry and CLI for installing AI agent skills across Claude Code, Copilot, Gemini, and Codex. One source of truth, four runtimes. The kind of glue that disappears the moment it works.