The Lean community maintains Mathlib, among other things.