If the OP wanted a larger dataset, here's a list of 5,016: <a href="https://pldb.io/lists/explorer.html" rel="nofollow">https://pldb.io/lists/explorer.html</a><p>Also available as csv/tsv/json: <a href="https://pldb.io/pldb.csv" rel="nofollow">https://pldb.io/pldb.csv</a><p>Source: <a href="https://github.com/breck7/pldb">https://github.com/breck7/pldb</a>