GitHub repository: ourobouros/dug
Description: A global DNS progagation checker that gives pretty output. Written in dotnet core