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.