I think you are all missing the context here. The "Association for Mathematical Research" is a new organization created by various people who got in trouble on woke math twitter. Nobody had heard of it until yesterday. (Their crimes are mostly opposing diversity statements in job applications, or favoring gifted programs.) It looks like a schism with the AMS (which more-or-less publicly takes the opposite view on these things), though they deny it. The impetus for the new group is clearly political. They got a few big names on there, but everybody on the board is already known for holding retrograde political views and I think they all signed one of the dueling petitions about this in the AMS Notices a year or two ago.

This is just a filler page to make it look like they have some content. It's not a serious list of mathematical software. There are good ones of those done elsewhere.