My hobby: helping mathematicians get up and running with Git/GitHub workflows so they can engage with open-source mathematical software and educational resource projects. And with the advent of GitHub Codespaces, there’s no installation required: by just logging into GitHub.com with your free account, you can access all the necessary tools to contribute to a mathematics project using just your web browser!

In this talk, I will demo several of my favorite GitHub Codespaces-ready mathematical projects: PreTeXt, pi-Base, LMFDB, Manim, Doenet, and Lean/mathlib. If you’d like to learn more, please check out my handbook GitHub for Mathematicians, or join us for my Getting Started with GitHub two-day virtual workshop!

• PreTeXt: https://github.com/code4mathorg/github-for-mathematicians
• pi-Base: https://github.com/pi-base/data
• LMFDB: https://github.com/LMFDB/lmfdb
• Manim: https://github.com/StevenClontz/manim-workshop
• Doenet: https://github.com/Doenet/DoenetML
• Lean/mathlib: https://github.com/leanprover-community/mathlib4