NSLIST.NET - compcert.org
Search for IP or hostnames:
compcert.org checked at 2025-09-30T04:25:15.610Z 413ms 129/129/129 100% R:12compcert.org
org
| NS | a0.org.afilias-nst.info | ||||||
| NS | a2.org.afilias-nst.info | ||||||
| NS | c0.org.afilias-nst.info | ||||||
| NS | b0.org.afilias-nst.org | ||||||
| NS | b2.org.afilias-nst.org | ||||||
| NS | d0.org.afilias-nst.org | ||||||
rank #45122 in the tld
Starts with same word
Starts similarily
AI analysis
compcert.org resolves to four IPs: 185.199.108.153, 185.199.109.153, 185.199.110.153 and 185.199.111.153.
Other host names, for instance dybas.io, daggerfs.com, metroanime.github.io, sbusso.github.io and www.arnoudbuzing.github.io share IP numbers with compcert.org.
compcert.org delegates to three name servers: ns-114-c.gandi.net, ns-67-b.gandi.net and ns-69-a.gandi.net.
compcert.org shares some name servers with other domains, for example soji.it, naturathome.be, cloudyourax.fr, sguilbaud.com and darts-club.com.
These name servers are commonly used with ns-68-c.gandi.net, ns-66-c.gandi.net, ns-170-a.gandi.net, ns-105-b.gandi.net and ns-146-a.gandi.net.
Host names with two IP numbers:
ns-114-c.gandi.net: 2604:3400:aaac::73 and 217.70.187.115
ns-67-b.gandi.net: 2001:4b98:aaab::44 and 213.167.230.68
ns-69-a.gandi.net: 2001:4b98:aaaa::46 and 173.246.100.70
compcert.org is served by two mail servers: fb.mail.gandi.net and spool.mail.gandi.net.
compcert.org shares the mail server setup with other domains, for example alsat.lu, iept.info, styops.com, simuhand.org and criteo.me.
compcert.org shares mail servers with other domains at least partially, for example viswas.info, adsolution.eu, sablefin.fr and elevate.gg.
Host names with six IP numbers:
fb.mail.gandi.net points to 2001:4b98:dc4:8::215, 2001:4b98:dc4:8::216, 2001:4b98:dc4:8::217, 217.70.178.215, 217.70.178.216 and 217.70.178.217.
Host names with two IP numbers:
spool.mail.gandi.net points to 2001:4b98:e00::1 and 217.70.178.1.