You might enjoy https://pldb.io/ https://pldb.io/, which is a paywall free, open source, public domain, database you can browse completely locally, with informa

You might enjoy https://pldb.io/ https://pldb.io/, which is a paywall free, open source, public domain, database you can browse completely locally, with information on all of these kinds of prior languages. :)