Spherical codes and designs
Kissing configurations and spherical t-designs with more points than any known (placeholder)
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.
Matching problems
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)