Ward is a BF debugger experiment, that draws the state machine of the BF program being debugged.
state machine visual debugger