GitHub repository: keithpenrod/data
Description: A community database of topological counterexamples