Software

My software here is open-source, hosted on GitHub.

SumOfSquaresOptimization

Sum-of-squares relaxation in Julia

bpcobar

Computations in the cobar complex for $BP_* BP$.

resolution

Variations on a theme: the cohomology of the Steenrod algebra, providing the $E_2$ page of the Adams spectral sequence.