Autocorrelation and Kakeya constants
Step functions and finite sets that tighten autocorrelation and sum–difference constants (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)