ROBTEX.COM - formalmethods.github.io

Search for stuff

formalmethods.github.io checked at 2025-12-08T18:31:06.672Z 1715ms 70/70/70 100% R:7 allDone:true timedOut:false

`formalmethods.github.io`

A	2606:50c0:8000::153^{🇺🇸 Fastly}
A	2606:50c0:8001::153^{🇺🇸 Fastly}
A	2606:50c0:8002::153^{🇺🇸 Fastly}
A	2606:50c0:8003::153^{🇺🇸 Fastly}
A	185.199.108.153^{🇺🇸 Fastly}
		PTR	`cdn-185-199-108-153.github.com`
A	185.199.109.153^{🇺🇸 Fastly}
		PTR	`cdn-185-199-109-153.github.com`
A	185.199.110.153^{🇺🇸 Fastly}
		PTR	`cdn-185-199-110-153.github.com`
A	185.199.111.153^{🇺🇸 Fastly}
		PTR	`cdn-185-199-111-153.github.com`

`github.io`

	NS	`ns-393.awsdns-49.com`
	NS	`ns-692.awsdns-22.net`
	NS	`ns-1339.awsdns-39.org`
	NS	`dns1.p05.nsone.net`
	NS	`dns2.p05.nsone.net`
	NS	`dns3.p05.nsone.net`
	NS	`dns4.p05.nsone.net`
	NS	`ns-1622.awsdns-10.co.uk`
	A	185.199.108.153^{🇺🇸 Fastly}
	A	185.199.109.153^{🇺🇸 Fastly}
	A	185.199.110.153^{🇺🇸 Fastly}
	A	185.199.111.153^{🇺🇸 Fastly}

rank #46 globally
rank #1 in the tld
This domain "github.io" is associated with GitHub, a web-based hosting service for version control and collaboration for software development projects. The "github.io" domain is specifically used for hosting static websites for GitHub users, repositories, and projects. These websites are commonly known as GitHub Pages.

Starts with same word

formalmethods.github.io

Starts similarily

formalmethods.github.io

AI analysis

formalmethods.github.io points to eight IPs: 2606:50c0:8000::153, 2606:50c0:8001::153, 2606:50c0:8002::153, 2606:50c0:8003::153, 185.199.108.153, 185.199.109.153, 185.199.110.153 and 185.199.111.153.

Other host names, for instance a1ive.github.io, supernatmor.github.io, coderzh.github.io, waic.github.io and nachosalvador.com share IP numbers with formalmethods.github.io.