Quantum circuits and error-correcting codes
Fewer T gates on standard circuits, and stabilizer codes with larger distance (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
mRNA vaccine co-design
Codon sequences that fold stably and express well, under manufacturing constraints (placeholder)
Autocorrelation and Kakeya constants
Step functions and finite sets that tighten autocorrelation and sum–difference constants (placeholder)
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)