a mineathon github repository for things