getHPinfo - what's that site running?

Home IP-Whois similar lookup

vericert.ymhg.org

last data update: 11.04.2023 07:21:40

The Domain vericert.ymhg.org is hosted in India and is using cloudflare as serversoftware.

Keywords of the webseite

this site has no keywords

Advertisement

Geo-Location

Geo-Informations

Latitude 20.0000
Longtitude 77.0000
Country India

Alexa ranking and web history of vericert.ymhg.org

Show Alexa siteinfo

How did vericert.ymhg.org look in the past via web.archive.org

General domaininformations

  
First seen 11.04.2023 07:20:02
Reg-Created 01.01.1978
Reg-Expire 01.01.1978
Domainnamevericert.ymhg.org
Root-Domainymhg.org (more)
Serversoftware cloudflare (more)
external Links on landingpage 0
Description A formally verified high-level synthesis (HLS) tool written in Coq, building on top of CompCert. This ensures the correctness of the C to Verilog translation according to our Verilog semantics and CompCert’s C semantics, removing the need to check the resulting hardware for behavioural correctness. Features # The project is currently a work in progress. Currently, the following C features are supported and have all been proven correct, providing a verified translation from C to Verilog:
Keywords this site has no keywords
IP-Adresses  188.114.97.3 (more) (US)
188.114.96.3 (more) (US)
   

Headerinformations

Cache-Control public, max-age=0, must-revalidate
Connection close
Age 0
Server cloudflare
Vary Accept-Encoding
Content-Type text/html; charset=UTF-8
Alt-Svc h3=":443"; ma=86400, h3-29=":443"; ma=86400
CF-Cache-Status DYNAMIC
CF-RAY 7b60c99889579106-FRA
NEL {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
Report-To {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=i9XQuDjTt0shtzw%2FkFDb2Zdvg6XV0q8h1%2FSVOM9V%2BI6pNMix7hHG0%2FT4UVo%2BGnOKIIiPCgxAOQt4nQ2lh7ePcN4hREOWkWHx56%2B6A8B70sHQioY1UquU%2FF0wxH1w1APad0Hu8A%3D%3D"}],"group":"cf-nel","max_age":604800}
Strict-Transport-Security max-age=31536000
X-Meta-Charset utf-8
X-Meta-Color-Scheme light dark
X-Meta-Generator Hugo 0.92.1
X-Meta-Theme-Color #FFFFFF
X-Meta-Viewport width=device-width,initial-scale=1
X-Nf-Request-Id 01GXQC6EYPEKJMJ8MJB6W5GATK
   

DNS-Informations

Rootdomain-DNS-Server  vern.ns.cloudflare.com (more)
jill.ns.cloudflare.com (more)
 

Miscellaneous

last update 11.04.2023 07:21:40
Illegal data? Report illegal data >HERE<
 
getHPinfo.com dissociates itself from any content on the website vericert.ymhg.org. The content is the sole responsibility of the operator. getHPinfo.com has no influence on the content of vericert.ymhg.org. getHPinfo.com only shows publicly freely accessible data here.
IMPRINT PRIVACY POLICY
###INFOLINKS1###