F-Keys
Hardware, software and research.
i
I build websites for local businesses.
Punta Gorda and Southwest Florida. One price, no sales call, and nothing is charged until you say yes to a written quote.
What this is
F-Keys Creative LLC is a one-person software studio in Punta Gorda, Florida. The website service above is the thing that is for sale to local businesses. Everything below it is the rest of the work: applications, browser games, Python packages, measurement tools and published research, most of it free to use and all of it built here.
If you arrived from a link to one particular thing — a paper, a package, a game — it is in the catalog below, which holds six sections, sorted the way a file manager sorts them. Its own page carries its license, its terms and its price. Nothing is assumed to match the last one.
And yes, the interface is deliberate. It is a Windows 95 file manager because the 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
- AppsThings you sit in front of and use.
- GamesThings you play.
- ToolsThings that do the work for you.
- HardwareSoftware that makes a box do one thing forever.
- ResearchThings you read. Every claim carries a DOI.
- PropertiesSites 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 us your system prompts and we run them 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. |