Works
YADA (2026)
View SQLite, DuckDB, CSV and Parquet files in your browser. Inspect table data, schemas and statistics.
Proofglyph (2026)
A proof checker based on LF (lambda-Pi calculus). Compile Hieratic into Proofglyph symbol sequences and check types and proof terms in the browser.
Alloy Analyzer WASM (unofficial) (2026)
An unofficial browser IDE for analyzing Alloy models. Edit code and inspect instances, counterexamples, and temporal traces.
Wordkin (2026)
An etymology dictionary for exploring English word ancestry, viewing definitions and derivatives, and comparing shared ancestors across words.
refinepy Playground (2026)
A browser playground for Python refinement types and contracts. Edit code and use Z3 to check function preconditions, postconditions, and termination statically.
Real Quantifier Elimination (2026)
A browser tool for eliminating quantifiers over the reals with QEPCAD. Find conditions on free variables and inspect projection factors, cells, and calculation steps.
LUFS view (2026)
A browser-based tool for analyzing and comparing audio loudness over time, with listening previews normalized to streaming-platform targets.
DepPy Playground (2026)
A browser demo for DepPy, a dependently typed language with Python syntax. Edit code, check types and proofs statically, and run the source separately as Python.
frp-wasm (2026)
An FRP language that checks types and causality before compiling to WebAssembly, with a browser IDE for editing, graph inspection, and execution.
a-b text (2026)
A text editor for selecting long passages by tapping their start and end. Navigate with a minimap, then copy, cut, or delete the selected text.
CIFAR / VIZ (2026)
An interactive 3D explorer for CIFAR-10 image classification, with layer activations, predictions, and model comparisons.
C2PA Inspector (2026)
A local browser tool for inspecting and comparing C2PA provenance, signing certificates, and declared creation software embedded in PNG images.
Scroll Stitch (2026)
A browser tool for stitching vertical scrolling videos into images and saving selected regions as PNG files.
Multistage JS (2026)
A browser IDE for exploring multistage computation by extending JavaScript with stage {} and $(), then stepping through code generation and execution.
Public-Key Cryptography Demo (2026)
A browser-only WebCrypto demo for generating keys, encrypting and decrypting messages with public-key cryptography, and creating digital signatures.
Morf (2026)
A browser tool for straightening perspective and distortion by adjusting control points directly on an image.
Solving Sudoku (2026)
A series that translates the same Sudoku puzzle into search, logic, mathematical optimization, and other computational methods, with runnable examples.
A Tour of Succinct Data Structures (2026)
An interactive guide to succinct data structures, from information-theoretic lower bounds and rank/select to wavelet matrices and succinct trees.
Colorange (2026)
A color analysis tool for extracting an image’s dominant colors and usage ratios, and seeing where each color appears.
Multi-Armed Bandit Demo (2026)
An interactive demo for comparing six multi-armed bandit algorithms and reward models through step-by-step rounds and learning curves.
HAR Tools (2026)
A browser tool for extracting and inspecting images, code, and other responses stored in HAR files.
JELLY (2026)
An interactive 3D soft-body simulation for shaping, coloring, and playing with jelly-like objects.
GEESE (2026)
A stage-based puzzle inspired by a traditional board game: move the geese and surround the fox.
LLM Token Map (2026)
An interactive galaxy map for exploring token embeddings learned by a language model.
Bagh-Chal (2026)
A browser version of Nepal's traditional asymmetric strategy game, playable against AI or another player.
P2P PONG (2026)
A serverless two-player PONG game where players exchange connection codes directly.
Scene Analyzer (2026)
A browser tool that analyzes video frame by frame and finds scene boundaries from change scores.
CJK Markdown Fixer (2026)
A browser-based tool that fixes emphasis boundaries that fail to render in CJK Markdown text.
Carta (2026)
A tool for turning learning content into structured knowledge posters for export and printing.
Image Measurement Tool (2026)
A web application that makes it easy to measure the length of objects on photos or images.
Lecture Scheduler (2026)
A tool for creating and editing lecture schedules on a monthly calendar.
Converting KaTeX to SVG (2026)
Notes on embedding KaTeX HTML output in SVG with foreignObject, DOM analysis, and WOFF2 glyph subsetting for compact standalone SVGs.
Intl API Comparison Viewer (2026)
An experimental viewer for comparing JavaScript Intl API output across locales and constructors.
Pixel Grid Studio (2026)
A browser tool for converting generated images into pixel art with grid fitting, palettes, and masks.
Practical Zustand Notes (2026)
Practical notes on Zustand basics, selectors, typing, middleware, SSR, and design trade-offs in React.
Stitch (2026)
A tool for stitching together multiple overlapping screenshots into a single image.
Vibe Design Gallery (2026)
A design gallery using Tailwind CSS utility classes, with design prompts for vibe coding.
Lucide Shape Search (2026)
A tool for searching Lucide icons by handwriting
Lucide Icons Map (2026)
An interactive 2D map of Lucide icons laid out by vector embeddings with UMAP.
Lucide Text Search (2026)
A tool for semantically searching Lucide icons from text queries.
Japanese Punctuation Completion Tool (2026)
A browser tool that automatically adds punctuation and line breaks to Japanese text using a lightweight Transformer exported to ONNX.
CRT Phosphor Simulator (2026)
A 3D/WebGL experiment for loading images or videos and zooming into CRT-style RGB phosphor elements.
ScreenCast Editor (2026)
A simple browser video editor for cuts, joins, text overlays, and image overlays.
Compression Leaderboard (2026)
A WASM benchmark comparing lossless compressors by ratio, compression time, and decompression time.
bkcrack.wasm (2026)
A browser port of bkcrack to WebAssembly for cracking ZIP encryption via known-plaintext attack.
QuickCalc (2026)
A note-like reactive calculator where expressions and variables update line by line.
STICK GAME (2026)
A browser game version of a small finger-counting game, with a CPU opponent and a compact state space.
mozaic-app (2026)
A browser tool that turns images, videos, or camera input into tile-based mosaic art.
nanotation (2026)
A lightweight browser annotation editor for layering notes over images or work targets, designed for quick review and sharing.
Browser-only Video Converter (2026)
A demo for converting video directly in the browser using WebCodecs and web-demuxer.
AsciiArt Table Parser (2026)
A tool that parses ASCII-art style tables and turns them into plain structured text.
ZIP Generation in Plain JavaScript with Compression API (2026)
An article explaining how to generate ZIP files in JavaScript with the Compression API.
Browser-only MP4 Generation with WebCodecs and MP4Box.js (2026)
An article exploring MP4 generation in the browser with WebCodecs and MP4Box.js.
Subleq Compiler (2026)
A compiler experiment that lowers a higher-level syntax into the one-instruction SUBLEQ architecture.
pdf2md (2026)
A local browser tool for converting PDFs to Markdown and extracting images as part of the same flow.
pdf-toc-tool (2026)
A local PDF toolkit for viewing, extracting, splitting, and merging by table-of-contents entries.
Inverted Pendulum Simulator (2026)
A browser-based real-time simulation of an inverted pendulum on a cart. Compare classical control (PID/PD cascade), modern control (LQR), and non-linear control (Sliding Mode Control) with dynamic visualizations and charts.
The Hitchhiker's Guide to Agentic AI (mdbook Edition) (2026)
A derivative of Haggai Roitman's The Hitchhiker's Guide to Agentic AI: From Foundations to Systems, converted to mdBook.
FlowTimer (2025)
A minimal presentation timer focused on the remaining time and progress state a speaker needs while presenting.
PDFUnbinder in Browser (2025)
A browser version of PDFUnbinder that reads PDF outlines and splits files by chapter or section.
CRT-style Image Effector (2025)
A WebGL image effect tool that processes images into a CRT television look.
JPEG Artifact Generator (2025)
A tool that repeatedly applies JPEG compression to create a crunchy artifact texture.
Images to PDF (2025)
A tool for dragging, dropping, reordering, and exporting images as a PDF.
MNIST UMAP Visualization (2024)
A visualization that maps MNIST handwriting samples into 2D with UMAP, making digit clusters and overlap easy to explore.
Nahuatl Text Helper (2024)
A text editor that helps input long-vowel marks for Nahuatl.
Safetensors Metadata Viewer (2023)
A viewer for inspecting metadata inside safetensors files.
Jinja2 Template Renderer (2022)
A browser renderer that runs Jinja2 templates on Pyodide.
HoverDictCN (2019)
A Chinese reading aid using CEDICT. Hover or tap characters to quickly check word and character meanings in English.
PDFUnbinder (2018)
A JavaFX desktop app for splitting bookmarked PDFs by chapter.
RGBCloud (2017)
A 3D viewer that plots image pixels in RGB or HSL color space so the color distribution can be inspected directly.
Kantele (2016)
A Scheme-like sound programming language made as a lab assignment. It plays sound.
Neural Network Visualization (ConvnetJS) (2016)
A ConvnetJS rewrite of the neural network visualization, with adjustable units and learners for observing training behavior.
Introduction to Dynamorphism (2015)
A technical article explaining dynamic programming as a functional fold, written with diagrams for rogy Advent Calendar.
Neural Network Visualization (2014)
An early browser visualization of BPNN weights, node states, and the learning process.