Hardware. Software. Ideas brought to life.
F-Keys is the working catalogue of Vincent Gonzalez, an independent builder trading as F-Keys Creative LLC in Punta Gorda, Florida. Twenty-six products are on the shelves, twenty-two of them live today, and each one was designed, written, deployed and documented by the same person — architecture, both ends, database, release notes. The table below is the whole company.
The name came from a product. RemapWrap was called F-Keys first — an extra row of function keys, on glass you already own — and the name outgrew it. The product then went missing for five months and survives because it was in a zip file in a folder called “zip to sort”.
six of them, sorted the way a file manager would sort them. Apps are things you run: a keyboard that plays notes in any program, an 8-bit composer, colour-vision tests, live ballots for a room. Games holds a warehouse-loading simulator, two Discord activities and a Fortnite island. Tools are small single-purpose programs for people who already know what they want. Hardware turns a spare machine into an appliance. Research is the formal-methods work — papers with DOIs and the tooling the measurements run on. Properties lists the standalone sites.
There is no single customer, because these are not one product line. A Lean 4 axiom auditor, a colour-vision test and a Discord word game share no market at all. In practice the people who end up here are developers and proof engineers who need to know what a theorem actually rests on, designers and accessibility teams checking colour against a real engine rather than a guess, musicians and typists who want a keyboard to make sound, streamers and Discord communities looking for something to run in a room full of people, and trainers who want load planning to behave like the physical thing.
Each product page carries its own terms, licence and price. Nothing is assumed to match the last one. Contact for licensing, or Privacy for what this site does and does not collect.
| 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 | Colour-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. |
| 📄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. |
| 📄legible | Python package | pip install | Three build gates: unreadable type, unreadable colour, 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 | pip 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. |