idris-lang.org | DNS Lookup

    .com^{6.5M domains}   

    .org^{1.1M domains}   

    .edu^{61.2K domains}   

    .net^{747.7K domains}   

    .gov^{23.6K domains}   

    .us^{47.8K domains}   

    .ca^{62.9K domains}   

    .de^{612K domains}   

    .uk^{489.4K domains}   

    .it^{56.6K domains}   

    .au^{67.9K domains}   

    .co^{56.1K domains}   

    .biz^{19.4K domains}   

    .info^{48.6K domains}   

    .fr^{57.6K domains}   

    .eu^{40.1K domains}   

    .ru^{266K domains}   

    .ph^{8.3K domains}   

    .in^{85.2K domains}   

    .vn^{25.7K domains}   

    .cn^{85.2K domains}   

    .ro^{28.2K domains}   

    .ch^{23K domains}   

    .at^{18K domains}   

    Browser All