GitHub repository: GoldenEdit/ServerMappings
Primary language: Python
Description: Public mapping of Minecraft server IPs <-> a pretty display name