mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

3K
active users

It's described as a professional organization for the advancement of mathematical research through building non-research software infrastructure. By that he means, for example, writing software packages like Macaulay2 (macaulay2.com/) or databases of mathematical objects that other researchers can use to do their research.

macaulay2.comMacaulay2Macaulay2 home page

Clontz recently gave a talk (clontz.org/blog/2024/03/28/mat) on the topic, with ample discussion of the evaluation material they can provide to justify the academic value of this sort of work.

clontz.orgSociotechnical infrastructure for mathematics research - Steven Clontzmath, education, technology, infrastructure, puzzles

The databases aspect really piqued my interest. Mathbases (mathbases.org/) has a list of roughly 86 different databases (or, just websites) cataloging, for example, counterexamples in topology (topology.pi-base.org/) and graphs (houseofgraphs.org/).

MathBasesMathBasesOf, by, and for mathematical databases

I like the graph database "House of Graphs" particularly, because you can search via drawing the graph (houseofgraphs.org/draw_graph) and each record—e.g., graph 28 (houseofgraphs.org/graphs/28)—comes with a table of relevant statistics.

houseofgraphs.orgHouse of Graphs

Unfortunately some of these databases are just simple websites or wikis, like the database of combinatorial designs (webspace.maths.qmul.ac.uk/l.h.), but that is to be expected since they are mostly written by academics in their spare time.

webspace.maths.qmul.ac.uk Database at DesignTheory.org

Adding a new database simply involves adding a pull request (github.com/MathBases/MathBases) with some URLs and metadata about the project. It's not uncommon I come across a random academic website that is close enough to a database to add here, and now I have a place to put those as I encounter them.

GitHubAdding Error Correction Zoo by valbert4 · Pull Request #43 · MathBases/MathBasesContribute to MathBases/MathBases development by creating an account on GitHub.

Clontz seems to have a number of other projects related to code4math, including a tutorial on GitHub for mathematicians (g4m.clontz.org/), and an XML-based typesetting system (github.com/StevenClontz/pretex).