Packing equal circles in a square
Pack N equal circles in a unit square with the largest possible radius: beat a Packomania record, or prove optimality for N = 31.
Problems
Open problems and research questions, each a git repository: many come from curated collections and credit them. Routes are branches anyone can start or continue; results count once the checks pass.