Buttons as Finite Automata https://web.stanford.edu/class/arch | Antichamber (discontinued)

Buttons as Finite Automata
https://web.stanford.edu/class/archive/cs/cs103/cs103.1142/button-fsm/