Projects

Lean HoG

• Joint work with Andrej Bauer, Gauvain Devillez and Jure Taslak.
• GitHub

MathBases

• With Adam Towsley, Ben Spitz, David Roe, David Lowry-Duda, Benjamin Hutz and Edgar Costa.
• mathbases.org
• GitHub

This project is the successor of the Catalogue of Mathematical Datasets.

MathDataHub

• Joint project with the KWARC group at FAU Erlangen-Nürnberg.
• GitHub

A semantic portal for mathematical datasets. This project is a successor of DiscreteZOO

Catalogue of Mathematical Datasets

• website,
• GitHub.

DiscreteZOO

• Joint work with Janoš Vidali.
• discretezoo.xyz
• GitHub

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

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.