An implementation of Matt Noonan's 'Ghosts of Departed Proofs'.
Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
Define your own PhantomData
Rust bindings for the Listen Notes Podcast API
A library that provides some of the benefits of dependent types using the Ghosts of Departed Proofs technique
Detect drift between your declared service catalog and what actually lives in the repo.
A lightweight, single-binary CMS powered by SQLite — 15 themes, REST API, WCAG 2.1 AA, static export
TFHE (Torus Fully Homomorphic Encryption) implementation for computing on encrypted data
Ghost Core ZMQ subscriber with minimal dependencies
Rust implementation of the IronFleet verified distributed systems framework
library for parsing human keyboard shortcuts
Your second brain at the computer.