Miscellaneous Tools
Miscellaneous Tools
A growing collection of small, browser-based utilities. Everything runs entirely client-side, so nothing you type or upload ever leaves your machine.
12 tools
Tools
Find & Replace
Advanced find and replace with regex, sorting, whitespace cleanup, workspaces, snapshots and history.
TextLaunchDiff Checker
Compare two texts with line, word, or character level diffs.
TextLaunchJSON Tool
Validate, format and minify JSON, sort its keys, and convert it to a TypeScript type, YAML or CSV, with the exact line and column of every syntax error.
TextLaunchSVG to React
Extract, sanitize, preview and convert one or many SVGs into deterministic React TSX components and local ZIP packages.
TextLaunchLink Extractor
Paste any text and pull the links out of it. Keep or delete lines by word, keep only links or only prose, put every link on its own line, sort, dedupe, and open them in batches.
TextLaunchCoordinate Marker
Click anywhere on the map to drop a pin and capture latitude, longitude, city and address. Saved locally in your browser.
MapsLaunchMy Location
Detect where you are right now and resolve it to latitude, longitude, street, postcode, city and country. Copy any value, all of them, or the whole thing as JSON.
MapsLaunchHemelsbreed Radius
Plot as-the-crow-flies radius circles on a map of the Netherlands from any address, postcode or click, then see where they overlap to pinpoint a location.
MapsLaunchHEIC Converter
Convert iPhone HEIC and HEIF photos to JPG or PNG in your browser. Batch convert, preview and download without uploading anything.
MediaLaunchSendable Video
Convert any video into an MP4 that WhatsApp Web and other chat apps accept, or into an optimized GIF. Trim the clip first if you want. Everything runs in your browser, nothing is uploaded.
MediaLaunchGIF to Video
Turn an animated GIF into a compact MP4 or WebM — usually many times smaller — with quality presets and an instant result preview. Runs entirely in your browser.
MediaLaunchVideo to GIF
Convert a video clip into an optimized looping GIF. Control framerate, width and quality, and render a quick preview with a size estimate before committing to the full clip. Runs entirely in your browser.
MediaLaunch