Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Page personnelle — Ĉefpaĝo — Home page — Martin Bodin |
Description | Academic website of Martin Bodin |
Keywords | Martin Bodin, Martin Constantino–Bodin, Formal methods, Programming languages, Coq, Language specification, Program verification |
WebSite | www.mbodin.github.io |
Host IP | 185.199.108.153 |
Location | United States |
Site | Rank |
US$8,561
Last updated: Oct 23, 2020
Mbodin.github.io has global traffic rank of 3,962,000. Mbodin.github.io has an estimated worth of US$ 8,561, based on its estimated Ads revenue. Mbodin.github.io receives approximately 781 unique visitors each day. Its web server is located in United States, with IP address 185.199.108.153. According to SiteAdvisor, mbodin.github.io is safe to visit. |
Purchase/Sale Value | US$8,561 |
Daily Ads Revenue | US$4 |
Monthly Ads Revenue | US$140 |
Yearly Ads Revenue | US$1,712 |
Daily Unique Visitors | 781 |
Note: All traffic and earnings values are estimates. |
Global Rank | 3,962,000 |
Delta (90 Days) | 0 |
Most Popular In Country | N/A |
Country Rank | N/A |
Host | Type | TTL | Data |
mbodin.github.io | A | 3599 | IP: 185.199.108.153 |
mbodin.github.io | A | 3599 | IP: 185.199.109.153 |
mbodin.github.io | A | 3599 | IP: 185.199.110.153 |
mbodin.github.io | A | 3599 | IP: 185.199.111.153 |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://mbodin.github.io/ X-GitHub-Request-Id: CCFE:7CB7:210D942:28354A1:5F923CDD Content-Length: 162 Accept-Ranges: bytes Date: Fri, 23 Oct 2020 02:15:58 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-lga21930-LGA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1603419359.834358,VS0,VE14 Vary: Accept-Encoding X-Fastly-Request-ID: 61289911c2055fab9384089422d4d0dbb678838c HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Mon, 19 Oct 2020 10:29:17 GMT etag: "5f8d6a7d-96f6" access-control-allow-origin: * expires: Fri, 23 Oct 2020 02:25:58 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 5060:2ED1:2194011:28BE4F3:5F923CDE accept-ranges: bytes date: Fri, 23 Oct 2020 02:15:58 GMT via: 1.1 varnish age: 0 x-served-by: cache-lga21970-LGA x-cache: MISS x-cache-hits: 0 x-timer: S1603419359.872102,VS0,VE24 vary: Accept-Encoding x-fastly-request-id: 3001a7e7f5cfd532778a2e64038fb9fc2a5842e6 content-length: 38646 |
NOT FOUND All rights reserved. ICB reserves the right to modify these terms at any time. By submitting this query, you agree to abide by these policies |