Work
Everything F-Keys has built and still runs.
six sections, sorted the way a file manager sorts them. Each item has its own page, and that page carries its license, its terms and its price. Nothing is assumed to match the last one.
The interface is deliberate. It is a Windows 95 file manager because a catalog is a list of files and folders and that is the honest shape for it, not because the site is old. Everything on it was built this year.
View
- CheckDoes a thing match what it claims? Records, interfaces, prompts, colour vision and this site's own builds.
- ResearchWhat a result actually rests on, measured from source, with a DOI on every claim.
- ToolsThings you sit in front of and use.
- TrainingBuilt to teach a job, and licensed to the people who teach it.
- PlayThings you play.
- SitesSites that stand on their own.
| Name | Type | Status | Description |
|---|---|---|---|
| Key-J | Application | Ready | Every keystroke plays a note, in any application. Live staff, WAV export. |
| Pixel Staff | Application | Ready | An 8-bit composer. Piano roll, waveform per channel, WAV or ringtone out. |
| OpticQuiz | Web app | Ready | Color-vision and acuity tests that run entirely in the browser. |
| QV | Web app | Ready | Live ballots. Put a question to a room and watch the count move. |
| RemapWrap | Application | Alpha | Any smartphone becomes a programmable macro pad. No app, no dongle. |
| Trailer Load | Simulator | Ready | Warehouse load training that plays like a game. Institutional licensing. |
| PROMPT | Discord activity | In Discord | A multiplayer word game inside Discord, in a 90s CRT shell. |
| DaisuPop | Discord activity | In Discord | A dice popper. Everyone in the room sees the same roll at the same moment. |
| MICDROP | Fortnite island | In Fortnite | A live open-mic arena. 120 seconds to win the crowd. Code 1534-0440-5810. |
| TAG | Fortnite island | In Fortnite | One player is IT and everyone else runs. Ninety seconds to pass it on. Code 8134-9047-4850. |
| TAG PRO | Fortnite island | In Fortnite | The blink version: lunge, dash, counter-tag on an open arena. Code 5571-1708-8987. |
| FyteCraft | Game | Alpha | An RTS built around combat rather than base-building. Early, and openly so. |
| WikiPolish | Web tool | Ready | Grammar scout for Wikipedia. Finds a first edit nobody will revert. |
| LeadSeer | Desktop tool | Needs setup | Finds the local businesses that still have no website. |
| PlumHUD | Python package | pip install | Miner fleet monitor. Overlay HUD, alerts, and local history. |
| coldHat | Web tool | Ready | Your AI rules on any chat. Type one line into Claude, ChatGPT or Grok and it works your way. |
| Prompt Check | Service | Needs setup | Send a system prompt and it is run against a live model: which rules hold, which break, and the rewrite that holds. |
| axsent | Python package | pip install | What a formal library assumes, measured from source: Rocq, Agda and Isabelle, with nothing built. |
| authorecon | Python package | pip install | Reconcile published work against every place it lives, for any ORCID, from public sources. |
| Prompt Atoms | Dataset | Published | 257 instruction atoms and 32 measured conflicts, mined from public prompt libraries. CSV and JSON, CC BY 4.0. |
| d1bench | Benchmark | Published | Which Cloudflare D1 write strategy wins, and which of its limits stops you first. Measured, not cited. |
| mmforge | Python package | pip install | Find avoidable axiom dependencies in Metamath, and build the proofs that remove them. |
| loadbearing | Python package | pip install | What a claim asserts, separated from what its derivation consumed. |
| certivl | Python package | pip install | Certified interval arithmetic: an enclosure that turns a computed inequality into a proof. |
| ishihara | Python package | pip install | Generate pseudoisochromatic color-vision plates, reproducible from a seed. |
| legible | Python package | pip install | Three build gates: unreadable type, unreadable color, a retired name. |
| openapi-drift | Python package | pip install | Has your API drifted from its spec, and can a machine still read it? |
| changewatch | Python package | pip install | A doorbell for your published work. Silent until somebody else acts. |
| keyjockey | npm package | npm install | Guitar tablature to notes: eight tunings, capo offsets, MIDI and frequency. |
| Stream Sniper | Appliance | Needs setup | A spare mini PC shows a channel fullscreen the moment it goes live. |
| Moonbeam | Python package | pip install | Finds the NerdMiners on your network and reads their vitals. |
| gonzalgo | Research tool | Published | Which axioms a Lean 4 or Metamath theorem spends rather than inherits. |
| Papers | Publications | Published | Where formal libraries spend their axioms. Full text, DOIs, archives. |
| Modulign | Standard | Published | A dimensional address grammar for observable reality. DAG-OR v3. |
| 5Best2Buy | Website | Live | A sourcing map for independent American food. |
| Poticas | Website | Live | The home of potica. History, method, and who still ships one. |
| TipStreams | Website | Live | Branded tip pages and OBS overlays. The widget never touches money. |
| FunDoge | Website | Live | Free isometric mini-golf in the browser. |
| Epistemend | Website | Live | One ORCID in, one document out. Checks a published record against where the work lives. |