There’s other efforts, like the UniMath project by the HoTT people.

https://github.com/UniMath/UniMath