https://github.com/approach0/search-engine
Appeoach0 is a math-aware search engine. It is about to publish its first source-code release very recently.