GitHub repository: pi-base/data
Description: A community database of topological counterexamples