KELVIN K0: an integer XY medium held in its Kosterlitz phase, on CUDA, with the battery of oracles and lie arms that can falsify it

6-DOF Falcon-9-class propulsive-landing sim where guidance actually solves the descent: deterministic C/CUDA plant, headless Monte-Carlo proof, pure-observer WebGPU cockpit - and a distilled neural…

Project Orion nuclear-pulse-propulsion simulator, built spec-first: generated constants, a first-principles verification oracle, and gate-checked sims (Hot Rod flight, two-stage shock absorber) val…

A one-shot vibe-book-writing kit: a gist plus a folder of sources becomes a gated, upload-ready book in nine formats (Kindle, EPUB, KDP/Mixam/Blurb print, digital PDF) with a generated + verified c…

The priced week. Mail, calendar and your list as one field of promises: priced every tick by a solver, rehearsed across thousands of futures before you promise, watched by a resident mind that spea…

A 500-seat virtual enterprise and its automation in one dependency-free C++17 binary: planted truth, a resident with a gate and a ladder, two graders with disjoint support, a twin that measures the…

A plain-text editor for Windows where a locally-resident language model writes beside you in real time, in its own blocks, never while your hand is moving - and takes a sentence back mid-word when …

An append-only, hash-chained store for an organization that runs on models: the tape is the truth, a hold is a row, one writer, and no model may author the decision to act.

Content x relation for coding agents: a phrase in, a budgeted read plan out -- pointers, never prose -- so a session knows where to look before it spends a token reading. Precompute the adjacency, …

A resident deputy for one seat: the learned side proposes, a deterministic seam alone authors verbs, and a hash-chained tape records every judgment and every hold with its margin. Design of record,…

The component that turns outcomes into authority: a deterministic license and veto layer for autonomous AI systems. Grades decisions against real outcomes, narrows on evidence, widens only inside a…

The heredoc replacement for LLM agents and coding harnesses: NOPDOC frames (an inert envelope with a mandatory END line, declared counts, atomic writes and sha256 receipts) plus hooks that lift the…

A self-supervised model of your own corpus. The next document is the training signal: no labels, an induced schema, a map that holds still as new fronts open, hyperbolic layout where radius is reso…

How much of this plan depends on nothing going wrong. caseclock says whether a case's plan is feasible; fray samples the durations its constraints assume, re-runs the closure over hundreds of thous…

The window, as text, as it changes: reads a window through its own accessibility tree, or through pixels and the OS's OCR where there is no tree (Citrix, RDP), and turns every change into one times…

Survey-ready every day. Open QAPI infrastructure for organ procurement: the audit moved from week-three to the keystroke — census not sample, CAPAs that grade their own effectiveness, a regulation-…

The case clock for organ-procurement coordinators: every deadline a donor case implies, derived from the facts already entered, on a 28-px strip over the record, written to a hash-chained tape with…

Look at your own localhost, and the switchboard for local agents: any localhost/LAN URL in a throwaway browser (screenshot, text, console), raw HTTP, sockets, ports, WSL shell, Docker sandbox; peek…

A Task Manager for the GPU on Windows: per-process VRAM (resident vs committed) + engine load. Treemap GUI, live TUI, JSON/NDJSON, MCP server, co-tenancy stamps for agents. C++20, zero deps, single…