https://codeberg.org/catseye/Beturing : A language corresponding to Turing machines with planar control graphs - View it on GitHub