There are a few.

The lean one is at https://github.com/leanprover-community/mathlib4