A busy beaver Turing machine. - View it on GitHub