I remember the go to alternative "standard" library was being developed by some bank from Wall Street. Is it still the case? i.e. do most people still use that 3rd party lib or did the real standard library evolve since then?
That's https://opensource.janestreet.com/core/. However I think its importance is often a bit overblown. I doubt MOST people were choosing it at any point, never mind today.