IPLIST.NET - fstar-lang.org

AI analysis

fstar-lang.org maps to four IP numbers: 2620:1ec:46::40, 2620:1ec:bdf::40, 13.107.213.40 and 13.107.246.40.

Other host names, for instance sherbrooke.org, wadleyhealth.org, gilead.gr, eucerin.ru and medicaresolutions.com share IP numbers with fstar-lang.org.

fstar-lang.org's delegation is handled by four name servers: ns1-36.azure-dns.com, ns4-36.azure-dns.info, ns2-36.azure-dns.net and ns3-36.azure-dns.org.

fstar-lang.org partially shares name servers with other domains; examples include diftartotaal.nl, salinco.com, aeroklub-trencin.sk, svevia.se and jobspace.com.

Host names with two IPs:

ns1-36.azure-dns.com points to 2603:1061:0:10::24 and 150.171.10.36

ns4-36.azure-dns.info points to 2620:1ec:bda:10::24 and 13.107.206.36

ns2-36.azure-dns.net points to 2620:1ec:8ec:10::24 and 150.171.16.36

ns3-36.azure-dns.org points to 2a01:111:4000:10::24 and 13.107.222.36

fstar-lang.org is handled by a single mail server, mail.ht.vc.

fstar-lang.org has the same mail server setup as other domains, including delignat-lavaud.net, delignat-lavaud.com, grellois.fr, ht.vc and simonsegal.com.

Host mail.ht.vc resolves to two IPs: 2001:41d0:2:7f22::1 and 94.23.252.34.