1lab.dev valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | 1lab - |
| Description | 1lab? A formalised, explorable online resource for Homotopy Type |
| Keywords | Agda,category theory,homotopy type theory |
Server Information
| WebSite | |
| Host IP | 104.21.17.13 |
| Location | United States |
Related Websites
| Site | Rank |
More to Explore
1lab.dev Valuation
|
US$2,926,511
Last updated: 2023-05-18 01:35:03
1lab.dev has Semrush global rank of 3,616,697. 1lab.dev has an estimated worth of US$ 2,926,511, based on its estimated Ads revenue. 1lab.dev receives approximately 337,675 unique visitors each day. Its web server is located in United States, with IP address 104.21.17.13. According to SiteAdvisor, 1lab.dev is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$2,926,511 |
| Daily Ads Revenue | US$2,702 |
| Monthly Ads Revenue | US$81,042 |
| Yearly Ads Revenue | US$972,503 |
| Daily Unique Visitors | 22,512 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| 1lab.dev. | A | 300 | IP: 104.21.17.13 |
| 1lab.dev. | A | 300 | IP: 172.67.218.202 |
| 1lab.dev. | AAAA | 300 | IPV6: 2606:4700:3031::ac43:daca |
| 1lab.dev. | AAAA | 300 | IPV6: 2606:4700:3030::6815:110d |
| 1lab.dev. | NS | 21600 | NS Record: nicole.ns.cloudflare.com. |
| 1lab.dev. | NS | 21600 | NS Record: tim.ns.cloudflare.com. |
HtmlToTextCheckTime:2023-05-18 01:35:03
| index 1lab ? Technology ? Type Theory ? Data types ? Category Theory ? Basics ? Diagrams ? Interesting morphisms ? Functors ? Univalent categories ? Strict Categories ? Category instances ? Allegories ? Displayed categories ? Cartesian fibrations ? Cocartesian fibrations ? Bifibrations ? Structures in Fibrations ? Internal Categories ? Examples of internal categories ? Bicategories ? Diagrams in bicategories ? Monoidal categories ? Homological algebra ? Topos theory ? Order theory ? Algebra ? Group theory ? Ring theory ? Equations Serif Font Inline Footnotes Hidden Code view all pages link to source Written by Amélia Liao, Jonathan Coates, Naïm Favier, Reed Mullanix and uni Equations Inline Footnotes module index where 1lab ? A formalised, cross-linked reference resource for cubical methods in Homotopy Type Theory. Unlike the HoTT book , the 1lab is not a “linear” resource: Concepts are presented as a directed graph, with links indicating dependencies . For instance, the statement of |
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Wed, 04 May 2022 09:40:31 GMT
Connection: keep-alive
Cache-Control: max-age=3600
Expires: Wed, 04 May 2022 10:40:31 GMT
Location: https://1lab.dev/
Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=5pRMeDbiqFHtKQ0M%2Fmu7bscOLSotdnWdQv125jTGZtDzi0476lHWi0ZI6yU6Nr%2FF2ckIdAXtlmhJpF8P34ePVGJSdWLQ6FaAy7AGqyUTO3WR0i3xePShvHtvibIpj4bJXdFd5NPMBw%3D%3D"}],"group":"cf-nel","max_age":604800}
NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
Server: cloudflare
CF-RAY: 706046813be668ef-FRA
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
HTTP/2 200
date: Wed, 04 May 2022 09:40:31 GMT
content-type: text/html; charset=utf-8
last-modified: Tue, 03 May 2022 22:24:14 GMT
access-control-allow-origin: *
expires: Wed, 04 May 2022 09:50:31 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 53F8:AD51:10FCC4:11D3F9:62724A0F
via: 1.1 varnish
age: 0
x-served-by: cache-fra19162-FRA
x-cache: MISS
x-cache-hits: 0
x-timer: S1651657232.809855,VS0,VE103
vary: Accept-Encoding
x-fastly-request-id: 63dd94415f3fe25fb2f16da5c5500d86ce4dc6e9
cf-cache-status: DYNAMIC
expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=Ym1mGC%2FE40rLTj83uXjGPmIP78RUYhNBfApnRgetTBnaXYqHjiQRbSCiXAILjfiSj8LndYgCOZJDD44IeaIgvLGjAbctItIauVKYVoaZRnDyyh6jcZ9raUz1S%2Bq8IFc%2FljxhqRe7hw%3D%3D"}],"group":"cf-nel","max_age":604800}
nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server: cloudflare
cf-ray: 70604682ad2a906c-FRA
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
|
1lab.dev Whois Information
Domain Name: 1lab.dev Registry Domain ID: 47F753054-DEV Registrar WHOIS Server: whois.google.com Registrar URL: domains.google Updated Date: 2022-04-25T06:43:04Z Creation Date: 2021-10-28T15:33:45Z Registry Expiry Date: 2025-10-28T15:33:45Z Registrar: Google LLC. Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Contact Privacy Inc. Customer 7151571251 Registrant State/Province: ON Registrant Country: CA Name Server: nicole.ns.cloudflare.com Name Server: tim.ns.cloudflare.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-05-04T10:47:13Z <<< |