Everything on this site, filtered as you type.
49 entries
| 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. |
| SayDo | Standard + harness | Ready | Prove a tool behaves as it says. A signed contract, a conformance harness, a receipt anyone can check. |
| 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. |
| 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. |
| CV - founder | Document | Company, products shipped, what was built and run end to end. | |
| CV - operations | Document | Logistics and operations record. | |
| CV - research | Document | Formal methods, deposits, upstream contributions. | |
| CV - writing | Document | Published writing and documentation. | |
| Papers | Index | Deposited work, each entry with a DOI. | |
| Log | Record | What got built, what broke, what turned out to be true. | |
| Status | Record | Measured uptime, installs and reach. Regenerated daily. | |
| About | Document | Entity, scope, subjects. | |
| Contact | Document | Email, filing details, what to write about. | |
| Developers | Index | Packages, command-line tools and published JSON. | |
| Docs | Document | RemapWrap documentation. | |
| Website builds | Service | Local business websites. Fixed build fee, monthly hosting. | |
| Privacy | Document | Every byte this site receives. |