Classic desktop software,
revisited for the modern web.
We take revered, abandoned desktop programs and rebuild them as fast, offline-capable progressive web apps powered by local symbolic AI coaches. No installs. No paywalls. 100% private.
The Revisited Suite
Four classic software engines modernized in TypeScript, running entirely inside your browser.
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.