GitHub repository: qumoptly/Strilanc.github.io
Primary language: HTML
Description: Algorithmic Assertions - Craig Gidney's Computer Science Blog