Similar repositories to mgritter/aoc-fstar: