I am @hipparcos on Discord.
Some of my Turing machine code: https://github.com/jhuang97/turing_machine.