Compcert.org CompCert - Main page

Compcert.org Overview

Compcert.org belongs to FASTLY - Fastly, US. Check the list of other websites hosted by FASTLY - Fastly, US.

In terms of rank-to-traffic ratio, compcert.org has 5,048 unique users per day, viewing 15,129 pages. The rank based value of compcert.org is 16,346 USD. Every user makes 3.21 pageviews on average.

Compcert.org boasts a link base consisting of 375 referring domains and 444 external backlinks, as revealed by the data obtained from web network scanning.

Compcert.org top-level domain belongs to .ORG domain zone. Check other webpages in .ORG zone.

According the last verification test in March 02, 2021, compcert.org has an expired SSL certificate issued by Let's Encrypt (expired on May 28, 2021). Click button “Update” SSL Information at the Safety Information section. Check the list of websites using SSL by Let's Encrypt.

Based on data from Google Safe Browsing and Symantec compcert.org is a fairly safe domain.

Compcert.org Website Safety

Overview

Last Updated: 11/11/2024

Unknown status.

We gather website safety and reputation data and compare it with available third-party sources so we calculate own safety and trustworthiness rate based on information that we get.

Norton Connect Safe

Last Updated: 04/23/2024

compcert.org is safe.

Norton ConnectSafe evaluates compcert.org for any unsafe and insecure content. The results are critical for families with young children.

Google Safe Search

Last Updated: 11/11/2024

Unknown status.

SafeSearch is used as a parental control tool to filter out any inappropriate for your children search results on your devices: phones, tablets or personal computers.

Google Safe Browsing

Last Updated: 03/02/2021

compcert.org is safe.
Malware: not found.
Phishing: not detected.
Unwanted software: not found.
Harmfull applications: not found.

Google Safe Browsing notifies when websites are compromised by malicious actors. These protections work across Google products and provide a safer online experience.

Site Advisor

Last Updated: 03/02/2021

compcert.org is safe.

McAfee assesses compcert.org for a meaningful set of security threats. Featured dangers from annoying pop-ups to hidden Trojans, that can steal your identity, will be revealed. McAfee does not analyze compcert.org for mature or inappropriate content, only security checks are evaluated.

Web of Trust

Last Updated: 11/11/2024

compcert.org child safety is unknown.

The WOT calculates reputation of the compcert.org. This reputation system receives ratings from users and information from third-party sources, assesses the compcert.org for safety features and confirms, whether compcert.org is suitable for children.

SSL Information

SSL Checker Tool

Domain	compcert.org
Issuer Organization	Let's Encrypt
Issuer	R3
Algorithm	RSA-SHA256
Valid form	02/27/2021
Expiration	05/28/2021
Signed	Certificate is not self signed
Additional Domains	compcert.org

Compcert.org Rank History

Alexa Rank shows how popular compcert.org is in comparison with other sites. The most popular site has Alexa Rank equals 1. If compcert.org has Alexa Rank equals 100,000, then it is in TOP 100,000 popular sites in the world. The rank is calculated using a combination of average daily visitors to compcert.org and pageviews on compcert.org over the past 3 months.

Compcert.org Hosting Information

Server Location

Geolocation Tool

ASN Information

ASN Lookup Tool

ASN ID: 54113

ASN Title: FASTLY - Fastly, US

Last Update: 03/15/2024

#
# ARIN WHOIS data and services are subject to the Terms of Use
# available at: https://www.arin.net/whois_tou.html
#
# If you see inaccuracies in the results, please report at
# https://www.arin.net/resources/whois_reporting/index.html
#
# Copyright 1997-2018, American Registry for Internet Numbers, Ltd.
#

ASNumber: 54113
ASName: FASTLY
ASHandle: AS54113
RegDate: 2011-10-04
Updated: 2012-03-02
Comment: http://www.fastly.com/
Ref: https://rdap.arin.net/registry/autnum/54113

OrgName: Fastly
OrgId: SKYCA-3
Address: PO Box 78266
City: San Francisco
StateProv: CA
PostalCode: 94107
Country: US
RegDate: 2011-09-16
Updated: 2017-03-30
Ref: https://rdap.arin.net/registry/entity/SKYCA-3

OrgNOCHandle: FNO19-ARIN
OrgNOCName: Fastly Network Operations
OrgNOCPhone: +1-415-404-9374
OrgNOCEmail: noc@fastly.com
OrgNOCRef: https://rdap.arin.net/registry/entity/FNO19-ARIN

OrgTechHandle: FRA19-ARIN
OrgTechName: Fastly RIR Administrator
OrgTechPhone: +1-415-404-9374
OrgTechEmail: rir-admin@fastly.com
OrgTechRef: https://rdap.arin.net/registry/entity/FRA19-ARIN

OrgAbuseHandle: ABUSE4771-ARIN
OrgAbuseName: Abuse Account
OrgAbusePhone: +1-415-496-9353
OrgAbuseEmail: abuse@fastly.com
OrgAbuseRef: https://rdap.arin.net/registry/entity/ABUSE4771-ARIN

#
# ARIN WHOIS data and services are subject to the Terms of Use
# available at: https://www.arin.net/whois_tou.html
#
# If you see inaccuracies in the results, please report at
# https://www.arin.net/resources/whois_reporting/index.html
#
# Copyright 1997-2018, American Registry for Internet Numbers, Ltd.
#

Compcert.org Domain Registration and Settings

WHOIS

WHOIS Lookup Tool

Domain Name: compcert.org
Registry Domain ID: 32eb2b9ae23c476fae84dd59fc7de45f-LROR
Registrar WHOIS Server: http://whois.gandi.net
Registrar URL: http://www.gandi.net
Updated Date: 2023-09-30T15:35:19Z
Creation Date: 2020-10-26T18:26:11Z
Registry Expiry Date: 2024-10-26T18:26:11Z
Registrar: Gandi SAS
Registrar IANA ID: 81
Registrar Abuse Contact Email: abuse@support.gandi.net
Registrar Abuse Contact Phone: +33.170377661
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: REDACTED FOR PRIVACY
Registrant Name: REDACTED FOR PRIVACY
Registrant Organization:
Registrant Street: REDACTED FOR PRIVACY
Registrant City: REDACTED FOR PRIVACY
Registrant State/Province: 11
Registrant Postal Code: REDACTED FOR PRIVACY
Registrant Country: FR
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: ns-114-c.gandi.net
Name Server: ns-67-b.gandi.net
Name Server: ns-69-a.gandi.net
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2024-06-06T15:00:13Z

DNS Records

DNS Lookup Tool

Host	A Record	TTL
compcert.org	185.199.109.153	1800
compcert.org	185.199.108.153	1800
compcert.org	185.199.110.153	1800
compcert.org	185.199.111.153	1800

Host	MX Record	Priority	TTL
compcert.org	fb.mail.gandi.net	50	10800
compcert.org	spool.mail.gandi.net	10	10800

Host	NS Record	TTL
compcert.org	ns-114-c.gandi.net	10800
compcert.org	ns-69-a.gandi.net	10800
compcert.org	ns-67-b.gandi.net	10800

Host	TXT Record	TTL
compcert.org	v=spf1 include:_mailcust.gandi.net ?all	10800

ns1.gandi.net
TTL: 86400
Email address: hostmaster.gandi.net
Serial: 1614211200
Refresh: 10800
Retry: 3600
Expire: 604800
Minimum: 10800

Compcert.org HTML Check

HTML Validation Tool

Errors

Almost standards mode doctype. Expected “<!DOCTYPE html>”.

Bad value “text/html; charset=utf8” for attribute “content” on element “meta”: “charset=” must be followed by “utf-8”.

The “center” element is obsolete. Use CSS instead.

The element “button” must not appear as a descendant of the “a” element.

No space between attributes.

A slash was not immediately followed by “>”.

Quote “"” in attribute name. Probable cause: Matching quote missing somewhere earlier.

Attribute “http:” not allowed on element “a” at this point.

Attribute “gallium.inria.fr” not allowed on element “a” at this point.

Attribute “~xleroy” not allowed on element “a” at this point.

Attribute “publi” not allowed on element “a” at this point.

Attribute “clight.pdf"” not allowed on element “a” at this point.

Warnings

The “name” attribute is obsolete. Consider putting an “id” attribute on the nearest container instead.

Attribute “http:” is not serializable as XML 1.0.

Attribute “~xleroy” is not serializable as XML 1.0.

Attribute “clight.pdf"” is not serializable as XML 1.0.

This document appears to be written in English. Consider adding “lang="en"” (or variant) to the “html” start tag.

Compcert.org Common Typos

www.compcert.com
www.compcert.net
www.compcert.org
www.compcert.info
www.compcert.biz
www.compcert.us
www.compcert.mobi
www.ompcert.org
www.compcert.org
www.xompcert.org
www.cxompcert.org
www.xcompcert.org
www.dompcert.org
www.cdompcert.org
www.dcompcert.org
www.fompcert.org
www.cfompcert.org
www.fcompcert.org
www.vompcert.org
www.cvompcert.org
www.vcompcert.org
www.cmpcert.org
www.cimpcert.org
www.coimpcert.org
www.ciompcert.org
www.ckmpcert.org
www.cokmpcert.org
www.ckompcert.org
www.clmpcert.org
www.colmpcert.org
www.clompcert.org
www.cpmpcert.org
www.copmpcert.org
www.cpompcert.org
www.copcert.org
www.conpcert.org
www.comnpcert.org
www.conmpcert.org
www.cojpcert.org
www.comjpcert.org
www.cojmpcert.org
www.cokpcert.org
www.comkpcert.org
www.comcert.org
www.comocert.org
www.compocert.org
www.comopcert.org
www.comlcert.org
www.complcert.org
www.comlpcert.org
www.compert.org
www.compxert.org
www.compcxert.org
www.compxcert.org
www.compdert.org
www.compcdert.org
www.compdcert.org
www.compfert.org
www.compcfert.org
www.compfcert.org
www.compvert.org
www.compcvert.org
www.compvcert.org
www.compcrt.org
www.compcwrt.org
www.compcewrt.org
www.compcwert.org
www.compcsrt.org
www.compcesrt.org
www.compcsert.org
www.compcdrt.org
www.compcedrt.org
www.compcrrt.org
www.compcerrt.org
www.compcrert.org
www.compcet.org
www.compceet.org
www.compceret.org
www.compceert.org
www.compcedt.org
www.compcerdt.org
www.compceft.org
www.compcerft.org
www.compcefrt.org
www.compcett.org
www.compcertt.org
www.compcetrt.org
www.compcer.org
www.compcerr.org
www.compcertr.org
www.compcerf.org
www.compcertf.org
www.compcerg.org
www.compcertg.org
www.compcergt.org
www.compcery.org
www.compcerty.org
www.compceryt.org

Compcert.org CompCert - Main page

Compcert.org Overview

Compcert.org Website Safety

Compcert.org Rank History

Compcert.org Hosting Information

Compcert.org Domain Registration and Settings

Compcert.org HTML Check

Compcert.org Similar Audits

Compcert.org Common Typos