GitHub repository: oati/purescript-docs-search
Description: Search frontend for the documentation generated by the PureScript compiler