# 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.