| Desktop | 100/100 | ✔ |
| Mobile | 81/100 | ✔ |
| Field | Data | Result |
|---|---|---|
| Page Size | 7 KB | ✔ |
| Compression | 3 KB (-61%) | ✔ |
| Text/Html Ratio | 3207 / 7166 (bytes) = 44.75% | ✔ |
| Load Time | 0.03 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 22 | ✔ |
| Doc Type | HTML 5 | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | EN-US | ✔ |
| Preferred Domain | Yes | ✔ |
| Robots.txt | No | ✘ |
| Url Rewrite | No | ✔ |
| Underscores in url | No | ✔ | Images Without ALT | 1 / 3 | ❗ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | No | ✔ |
| Iframe | No | ✔ |
| Custom 404 page | Yes | ✔ |
| Email Privacy | Yes | ✔ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| compiler | 5 | ✔ | ✔ | ✘ |
| andrew | 5 | ✘ | ✘ | ✘ |
| certicoq | 5 | ✔ | ✘ | ✘ |
| verified | 3 | ✔ | ✔ | ✘ |
| olivier | 3 | ✘ | ✘ | ✘ |
| programming | 3 | ✘ | ✘ | ✘ |
| john | 3 | ✘ | ✘ | ✘ |
| august | 3 | ✘ | ✘ | ✘ |
| article | 3 | ✘ | ✘ | ✘ |
| matthew | 3 | ✘ | ✘ | ✘ |
| code | 2 | ✘ | ✘ | ✘ |
| pages | 2 | ✘ | ✘ | ✘ |
| yannick | 2 | ✘ | ✘ | ✘ |
| language | 2 | ✘ | ✘ | ✘ |
| been | 2 | ✘ | ✘ | ✘ |
|
With 0.03 seconds in page load, 7 KB of page size and all other reports below, the certicoq.org has a SEO score of 75 out of 100 |
| Title | CertiCoq | A verified compiler for Coq |
| Description | A verified compiler for Coq |
| Keyword |
| Age | 8 Years, 96 Days |
| Created | 17th-Jun-2014 |
| Updated | 16th-Sep-2022 |
| Expiry | 17th-Jun-2023 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| certicoq.org | A | 597 | ip:185.199.108.153 |
| certicoq.org | A | 597 | ip:185.199.111.153 |
| certicoq.org | A | 597 | ip:185.199.109.153 |
| certicoq.org | A | 597 | ip:185.199.110.153 |
| certicoq.org | NS | 3597 | target:ns48.domaincontrol.com |
| certicoq.org | NS | 3597 | target:ns47.domaincontrol.com |
| certicoq.org | SOA | 3600 | mname:ns47.domaincontrol.comrname:dns.jomax.netserial:2021030812refresh:28800retry:7200expire:604800minimum-ttl:600 |
| certicoq.org | MX | 3600 | pri:0target:smtp.secureserver.net |
| certicoq.org | MX | 3600 | pri:10target:mailstore1.secureserver.net |
|
Domain Name: certicoq.org Registry Domain ID: 0da435e86fe64e1e8031ebba080e09c6-LROR Registrar WHOIS Server: http://whois.godaddy.com Registrar URL: http://www.whois.godaddy.com Updated Date: 2022-09-16T13:25:59Z Creation Date: 2014-06-17T13:09:49Z Registry Expiry Date: 2023-06-17T13:09:49Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: +1.4806242505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: Domains By Proxy, LLC Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: Arizona Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: US Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY Registrant Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Admin ID: REDACTED FOR PRIVACY Admin Name: REDACTED FOR PRIVACY Admin Organization: REDACTED FOR PRIVACY Admin Street: REDACTED FOR PRIVACY Admin City: REDACTED FOR PRIVACY Admin State/Province: REDACTED FOR PRIVACY Admin Postal Code: REDACTED FOR PRIVACY Admin Country: REDACTED FOR PRIVACY Admin Phone: REDACTED FOR PRIVACY Admin Phone Ext: REDACTED FOR PRIVACY Admin Fax: REDACTED FOR PRIVACY Admin Fax Ext: REDACTED FOR PRIVACY Admin Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Tech ID: REDACTED FOR PRIVACY Tech Name: REDACTED FOR PRIVACY Tech Organization: REDACTED FOR PRIVACY Tech Street: REDACTED FOR PRIVACY Tech City: REDACTED FOR PRIVACY Tech State/Province: REDACTED FOR PRIVACY Tech Postal Code: REDACTED FOR PRIVACY Tech Country: REDACTED FOR PRIVACY Tech Phone: REDACTED FOR PRIVACY Tech Phone Ext: REDACTED FOR PRIVACY Tech Fax: REDACTED FOR PRIVACY Tech Fax Ext: REDACTED FOR PRIVACY Tech Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Name Server: ns47.domaincontrol.com Name Server: ns48.domaincontrol.com DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/ >>> Last update of WHOIS database: 2022-09-21T22:16:36Z |
| Server IP | 185.199.111.153 |
| Server Location | Netherlands |
| Service Provider | FASTLY |
| Domains (TLD) | Status |
|---|---|
| certicoq.com | Available |
| certicoq.net | Available |
| certicoq.biz | Available |
| certicoq.io | Already Registered |
| certicoq.info | Already Registered |
| Domains (TLD) | Status |
|---|---|
| xerticoq.org | Already Registered |
| serticoq.org | Already Registered |
| derticoq.org | Already Registered |
| ferticoq.org | Already Registered |
| verticoq.org | Already Registered |
| Almanliseliler.org |
| Jainandkriz.com |
| Hayfordford.com |
| Kariyerfilozofum.com |
| Ntjamrosie.com |
| Austinhelicoptertours.com |
| Summerbreezeoutdoor.com |
| Yournextpick.com |
| Haloidentity.com |
| Ninacuddle.com |