CatDat

A comprehensive and searchable database of categories and their properties. Maintained by ScriptRaccoon on GitHub, where it has earned 37 stars from the community.

It's actively developed around category-theory, database, mathematics, and is a solid reference for anyone building with these tools.