Lean HoG


This project is the successor of Catalogue of Mathematical Datasets (GitHub)


A semantic portal for mathematical datasets.


DiscreteZOO is a repository of graphs and other discrete objects. Various censuses of graphs and other objects exist on the web. DiscreteZOO aims to give them a common home, make them easily accessible and searchable according to some precomputed properties. MathDataHub builds on the ideas from DiscreteZOO.


code4math is a professional organization dedicated to the advancement of mathematical research through the development of high-quality sociotechnical infrastructure: software, databases, communities, and more. It was founded as an outcome of the American Institute of Mathematics’ 2023 December workshop on Open-source cyberinfrastructure supporting mathematics research.