1lab.dev
1lab.dev is a live English-language website hosted on Cloudflare, Inc. (AS13335) in the United States, served by Github.com. cl0q first saw it on 2025-08-23 and last crawled it on 2026-10-14. It resolves to 104.21.17.13. We've seen one of its subdomains, listed below. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
1Lab - 1Lab
A formalised, explorable online resource for Homotopy Type Theory.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-23 |
| Last crawled | 2026-10-14 |
| IPv4 | 104.21.17.13 |
| IPv6 | 2606:4700:3030::6815:110d |
| Network | AS13335 Cloudflare, Inc. · United States |
| CNAME | 1lab.dev |
| Language | en |
| Server | GitHub.com |