GitHub repository: juliohm/awesome-mining-data
Description: Curated list of datasets in the mining industry