The lab

Workbenches for the machines the videos teach. No sign-in needed; every experiment is a shareable link, and an account can save experiments by name.

• Turing machine simulator

  Single- and multi-tape machines, and pipelines that compose them. Comes with a library of tested machines.

• Lambda calculus interpreter

  Definitions plus a term, reduced to normal form redex by redex. Church numerals in the library.

• Finite automata simulator

  DFAs and NFAs on the drafting table: watch the active states glow, and compose machines with union, intersection, and complement.

• Gallery

  Machines built in the lab and shared: every entry opens on its workbench, ready to run and take apart.