Similar repositories to loopspace/Seifert: