getHPinfo - what's that site running?
The Domain vericert.ymhg.org is hosted in India and is using cloudflare as serversoftware.
Search for similar domains, which are still free to register.
Advertisement
Geo-Informations | ||
| Latitude | 20.0000 | |
| Longtitude | 77.0000 | |
| Country | India | |
How did vericert.ymhg.org look in the past via web.archive.org
| First seen | 11.04.2023 07:20:02 | |
| Reg-Created | 01.01.1978 | |
| Reg-Expire | 01.01.1978 | |
| Domainname | vericert.ymhg.org | |
| Root-Domain | ymhg.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. | ||
Please donate us!
BTC: 31k8JV8xnpCw1RmyxBjuJJ8dmq8KjfmgTm
ETH: 0xf645e11d0eb2c86143b71ce30ec7aec3f7a31a7e
LTC: M8sU5Vj4HGW6FEkgKg1aTfjk8QS5HfDkAk