Classic desktop software,
revisited for the modern web.
We take revered, abandoned desktop programs and rebuild them as fast, offline-capable apps powered by local symbolic AI coaches. Four free browser apps and one native desktop studio. No cloud, no telemetry.
The Revisited Suite
Four browser remasters plus a native desktop colorizer, built to run locally.
Native desktop neural restoration suite for Windows and macOS. Re-animates monochrome family photos and historical footage with local DDColor AI, DirectML GPU acceleration, and CIE L*a*b* micro-sharpness preservation. Private and local.
- 100% offline local neural inference (DirectML GPU, Apple Silicon MPS & CPU)
- CIE L*a*b* color space separation: zero lost sharpness or altered grain
- Cinema Video Colorizer with 60 FPS temporal smoothing & frame interpolation
- Single-file Windows .exe installer and native macOS .dmg package
Modern web remaster of Carl Burch’s classic Logisim 2.7.1. Simulates 4-state multi-bit circuits, K-Maps, logic gates, flip-flops, and ALU schematics directly in your browser with zero Java installation required.
- 4-state multi-bit engine (0, 1, Floating Z, Error E)
- Backward signal root-cause prover & short-circuit diagnostics
- Quine-McCluskey minimal K-Map synthesis (SOP & POS)
- Complete Logisim 2.7.1 .circ XML import & export
100% faithful TypeScript port of Bernhard Hobiger’s legendary HoDoKu 2.2.0. Analyzes, rates, and teaches every step with a 4-stage Socratic Coach and contradiction prover.
- 70+ human solving techniques (Fish, Wings, Chains, ALS)
- Contradiction prover with minimal causal chains
- Daily Sudoku challenge with shareable result cards
- Offline-capable Progressive Web App
Human-style Kakuro (Cross Sums) generator, solver, and trainer with complete sum-combination reference tables, magic blocks, and interactive step-by-step coaching.
- Interactive Sum Combinations Cheat Sheet (sums 3 to 45)
- Unique sum partitions, cross-run intersections & bounds
- Sum-boundary contradiction proofs & forced placement
- Date-seeded Daily Kakuro challenge
100% deterministic Picross line-solver inspired by classic FreeNono. Features touch-friendly mobile grids, line overlap logic, and Socratic hint stepping.
- FreeNono human line techniques (Overlap, Spaces, Glue, Mercury)
- Why not fill / Why not cross out? Contradiction prover
- Scales smoothly from 5×5 up to 30×30 boards
- Zero server tracking, offline-ready local compute
Why Revisited?
Our core engineering principles and architectural commitments.
100% Client-Side Compute
No backend servers, no cloud queues, and zero downtime. Every solver, circuit simulator, and generator runs in high-performance Web Workers right on your device.
Local Symbolic AI
Instead of unpredictable LLMs, our AI coaches use deterministic symbolic constraint logic to provide 4-stage Socratic guidance and formal contradiction proofs.
Privacy-First by Design
Your circuits, puzzles, and game saves are stored in local storage on your device. We collect zero personal data, require no accounts, and never sell your telemetry.
Preserving Open History
We honor the original creators by keeping all engine ports strictly open source under the GPL-3.0 license with full technique guides, manuals, and worked examples.