Hi! Have you considered adding this list to the list of awesome lists for better discoverability. We just did this for https://github.com/coq-community/awesome-coq (see https://github.com/sindresorhus/awesome/pull/1697) and our experience was pretty great (kudos to @palmskog for that PR).