General repo for all my inf2 projects that didn't merit creating their own repos. :(