Code repository for Computing theory, including code references and submission