Specula Turns System Code into Bug-Hunting Specifications
An open-source tool uses coding agents to generate TLA+ specifications from real system code, model-check the resulting state space, and reproduce discovered failures in the implementation.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
123,088 catalogue cards
-
-
SplitFree keeps shared expenses exact
An open-source expense-splitting app for friends, flatmates, and travel groups, with receipt scanning, multiple division methods, currency support, and offline use.
-
Square Foot Garden Planner
A free browser-based tool for laying out raised garden beds square by square, with plant spacing, counts, shopping lists, companion warnings, and sow dates.
-
Stackmon Guide Builds a Field Manual Around Verified Systems
An unofficial Stackmon player guide covering starters, creatures, crafting, combat, achievements, biomes, release facts, and system-finding tools.
-
Storage Routecore, where public figures have to survive the printer
A Batumi-based reporting desk that turns government data into yearbooks, budget chart sets, municipal briefings, and source-noted public figures.
-
Tab puts family primary care and 809 $0 generics under one roof
Tab offers a household healthcare membership with unlimited video visits and a stated list of 809 everyday generic medications at no additional cost.
-
TAERI Turns Household Chores Into Fall-Risk Signals
A telehealth assessment platform that evaluates the ergonomic and fall risk of everyday tasks such as laundry, shopping, cleaning, and reaching.
-
Tagvexa Turns MEP Site Photos Into Project Records
Tagvexa is field-survey software for photographing installed MEP equipment, extracting nameplate data, linking units to plans and schedules, and producing a checked record.
-
TapeOut Protocol Turns NAND Gates into On-Chain Hardware
A Solana-based system for wiring transistor tokens and LATCH memory cells into permanent circuits, with a live Bitcoin-mining processor as its first demonstration.
-
TarkovRaidCompass Reads the Screenshot Filenames
A screenshot-based Escape from Tarkov companion that tracks live position, overlays maps, shares squad locations, and looks up flea prices.
-
Tiny Table Austin, a Dog-Food Club With a Shared Bowl
An Austin-made dog-food club selling small-batch bowls, stock, chicken-skin chips, and a playful watermelon drink for Texas dogs.
-
Tjader Acres: 27 Holes in the Wisconsin Northwoods
A family-built, year-round disc golf destination in Siren, Wisconsin, with 27 wooded holes, a separate 18-hole putter course, and $5 all-day play.
-
Tollgate puts a price tag on the agent-readable web
Tollgate lets creators publish folders, feeds, files, and datasets behind per-request HTTP 402 payments that software agents can settle in USDC.
-
TowingMath: 13 Calculators for the Weight Behind the Tow Rating
A free collection of browser-based calculators and guides for towing capacity, payload, tongue weight, axle loads, hitch classes, trailer tires, and related limits.
-
ai.diy Keeps the AI Workspace in Your Browser
An open-source, self-hosted BYOK AI workspace that connects 20+ cloud and local model providers in one browser-based environment.
-
USBridge-KVM 2.0, a BIOS terminal in hardware
A crowdfunding project for an ultra-low-latency IP-KVM that offers remote hardware control, drive emulation, and terminal access to graphical BIOS screens.
-
Vaelis Measures Where AI Provenance Disappears
A provenance-verification API that validates C2PA content credentials, scores trust, and generates signed EU AI Act Article 50 evidence files.
-
Vannelle Walks: Barcelona by Matcha, Coffee and Small-Group Stroll
Private two-hour Barcelona neighbourhood walks for up to five guests, combining reserved matcha, specialty coffee and pastry stops with local hosts and photography.
-
Veria Intelligence: The Signal Is in Chinese
A weekly China–Europe technology and trade intelligence service built from Chinese-language regulatory, industry, and press sources.
-
Verinome: DNA Reports Without the Upload
Verinome turns 23andMe or AncestryDNA raw data into a browser-based, evidence-graded report on traits, caffeine, medications, and carrier status.
-
My Guy Vinny Checks the Used Car Before You Do
A $19 used-car report that checks title history, recalls, owner-reported problems, price fairness, and negotiation points.
-
Viter — fan control with a thermal instrument panel
Viter is a Mac utility for Apple silicon that monitors thermal sensors and lets users draw fan curves, set held speeds, and automate cooling presets.
-
Vole’s Governed AI Agents
Vole is building business agents that act within explicit authority and preserve evidence of what they did.
-
Voto Atlas Maps the U.S. Latino Electorate by County
An election-data explorer pairing county results from 2012–2024 with Latino population, registration, turnout, and voting-research data.