One big repo for the mathackathon users