Just so this idea doesn’t get lost or forgotten, it is worth considering to have the organization of the various libraries structured to match the taxonomies developed over the years. The NIST Guide to Available Mathematical Software (GAMS) as well as the Digital Library of Mathematical Functions (DLMF) were mentioned in this older thread.
Hopefully, that will make teaching the math along with the programming easier.