Revolut

⚙️ Revolut is a hands-on workbench 🖥️ for the theory of computation, presented as an antique brass-and-enamel scientific instrument 🧭 Build finite automata 🔄 and Turing machines, run them one escapement step at a time ⏱️ and watch the tape 🎞️ head and transition table 📋 come to life on a beautifully engineered plate.

🎓 Whether you are a computer science student 📚 meeting the halting problem for the first time, an educator looking for a tactile way to demonstrate state machines or an enthusiast who simply loves the elegance of formal computation, the Atelier gives you a calm, distraction-free place to tinker.

THE MOVEMENT: your run bench
▶️ Load a machine and drive it: Step, Run-to-halt, Reset and adjustable speed.
🎞️ A live tape ribbon with a brass reading head that auto-scrolls as it moves.
✅ Honest verdicts: Halted, Ran off the tape, or "no halt within the guard" the undecidability of halting is respected, never faked.
🛠️ Edit transition rows with a thumb-friendly control panel: state, read, write, move Left ⬅️ / Right ➡️ / Stay ⏸️ next state and HALT.
📳 Optional escapement haptics give each head step a satisfying mechanical click.

📚 THE CABINET: a collection of specimens
🧩 48 curated machines, from textbook classics to curious edge cases.
📋 Full transition tables, behaviour notes and cross-references.
⭐ Favourite your machines and load any specimen directly into The Movement.

🎓 THE PRIMER: learn by doing
📖 18 lessons across 5 chapters, unlocked as you progress.
🖥️ Interactive lessons connected directly to runnable machines.

📜 DOSSIERS
📚 Five long-form case histories connecting theory to real machine examples.

🗂️ THE LEDGER
💾 Save your own machine cards with notes and tags.
🖼️ Export machine cards as images to your gallery.
📷 Attach your own photos for annotations.

🎨 CRAFTED TO LAST
🎭 Four beautifully designed instrument themes in light and dark styles.
🔒 Everything is stored locally on your device. No account, no sign-up, no ads, and fully offline.

🔑 Open the case, wind the movement and let the computation begin in Revolut.