GitHub repository: noobanidus/DimDungeons
Description: A Minecraft mod which adds proceedurally generated dungeons.