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