docsearch

The easiest way to add search to your documentation. Maintained by algolia on GitHub, where it has earned 4,371 stars from the community.

It's actively developed around algolia, docsearch, documentation, and is a solid reference for anyone building with these tools.