Open Source Communities in Mathematics Similar to GitHub

CoCalc

An online mathematics collaboration platform, essentially the math equivalent of Google Colab + GitHub. It supports real-time collaborative computation, paper writing, and visualization. Multiple users can edit simultaneously, and files maintain version history just like GitHub, allowing you to revert to any previous version.

Website: cocalc.com

Overleaf

The “GitHub” of mathematical writing, supporting LaTeX editing for papers, notes, teaching materials, and more. It also offers real-time collaborative editing, version control, and GitHub integration—meaning projects can be stored directly on GitHub.

Website: www.overleaf.com

ProofWiki

A Wikipedia + GitHub for mathematical proofs, containing over 20,000 definitions, theorems, and proofs.

Website: proofwiki.org

Polymath Project

A global collaborative mathematics research initiative that exemplifies truly open-source mathematical research, focusing on advanced mathematical discussions.

Website: polymathprojects.org

MathOverflow

A technical discussion forum for mathematicians, similar in style to Stack Overflow for programmers, but with fewer posts and a focus on advanced mathematics.

Website: mathoverflow.net

SageMath

A fully open-source alternative to Mathematica combined with GitHub functionality.

Website: www.sagemath.org

Observable

An “interactive notebook platform” for visualizing mathematics and data.

Website: observablehq.com

Project Euler

A community for mathematical thinking and programming challenges, effectively the LeetCode of the math world—ideal for algorithm engineers and competition practice.

Website: projecteuler.net