Projects

Code I work on, split between academic formalisation and general-purpose software. Each links out to its GitHub repository.

Academic

Lean 4 · GitHub ↗

A formalisation of quadratic number fields in Lean 4.

Rust · GitHub ↗

A command-line tool for querying the LMFDB (L-functions and Modular Forms Database).

Rust · GitHub ↗

An AI-native, Web3-friendly RSS reader for fast-moving information streams across the open web.

Shell · GitHub ↗

A collection of reusable agent skills for AI coding assistants.