https://Topology.pi-base.org (a database of certain mathematical objects) started as a wiki, but transitioned to using GitHub pull requests and custom software to support automated deduction.
Folks interested in open collaborative math content may find these interesting: