Partizánska Ľupča in Slovakia. Now a village with 1300 inhabitants but in 14th-19th centuries an important mining town with more than 4000. Several houses still have an urban character.Dawson City, Yukon, Canada, in 1957.
A mining community, also known as a mining town or a mining camp, is a community that houses miners. Mining communities are usually created around a mine or a quarry.
In Germany, a Bergstadt refers to a settlement near mineral deposits vested with town privileges, Bergregal rights and tax exemption, in order to promote the economic development of the mining region.
Sherman, James E; Barbara H. Sherman (1969). Ghost Towns of Arizona. University of Oklahoma Press. ISBN0-8061-0843-6. Book features pg. 147 about what is necessary for a settlement to have in order to be considered a "mining town".
Wikimedia Commons has media related to Mining towns.