The categories don’t seem quite as useful as they could be. For one, they are not ordered alphabetically. We might benefit from more description or fewer categories. For example, MXNet could go in “GPU”, “Computing”, “Stats” or even “Opt” or “Math”. (I’m assuming the categories are not necessarily disjoint sets?) Also, “Astro” and “Astrodynamics” are both categories. I realize these names are generated algorithmically somehow, so I’m not sure what the solution would be.
It would be nice if search results were sort-able in the same manner as other lists.