15 projects
axsent
Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built
remapwrap
Build RemapWrap control surfaces from what you already have: a folder of samples, a list of applications, a set of shortcuts.
mmforge
Find avoidable axiom dependencies in Metamath databases, and build the proofs that remove them.
loadbearing
Separate what a claim asserts from what its derivation consumed.
certivl
Exact rational and certified interval arithmetic: enclosures that turn a computed inequality into a proof.
authorecon
Reconcile a body of published work against every place it lives - for any ORCID, from public sources - plus the gates that run before research output leaves your hands.
changewatch
A doorbell for your published work. Tells you when somebody else cites, stars, files or mentions it - and stays silent the rest of the time.
openapi-drift
Does the deployed service still do what your OpenAPI document says, and can a machine read it? A drift check, not a fuzzer and not a syntax validator.
legible
Three build gates for things a linter will not catch: type below a readable floor, colour that cannot be read on the surface it sits on, and a retired name reaching anything a human reads.
gonzalgo
Measure where a formal library spends its axioms: Lean 4 and Metamath.
moonbeam-miner
Find the NerdMiners on your network and read their vitals, from the terminal.
plumhud
Miner fleet monitor - a borderless overlay HUD, alerts, and history.
keyj
Turn guitar tablature into notes, render it, and play it back with any keystroke.
opticquiz-cvd
Color accessibility engine: colorblind-safety (protan/deutan/tritan, Machado 2009 + CIEDE2000), palette fixing, and WCAG contrast. Zero dependencies; drops into any matplotlib/plotly workflow.
ishihara
Generate pseudoisochromatic (Ishihara-style) colour vision plates. Reproducible from a seed, no dependencies.
