Following is an (incomplete!) list of all the projects our community is engaged with. If you are a community member working on digital infrastructure for advancing mathematics research, please open an Issue or directly add a link to your project to this page on GitHub.
- GitHub for Mathematicians
- Handbook for mathematicians learning Git and GitHub
- Index of Mathematical DataBases
- Database of mathematical databases
- π-Base, a community database of topological counterexamples
- Database of topological spaces, properties, and theorems, with automatic deduction
- The L-functions and modular forms database (LMFDB)
- Database of mathematical objects arising in number theory and arithmetic geometry relating to the Langlands program