Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | CertiCoq | A verified compiler for |
Description | A verified compiler for |
Keywords | N/A |
WebSite | certicoq.org |
Host IP | 185.199.111.153 |
Location | - |
Site | Rank |
US$454,376
Last updated: 2023-05-17 01:42:22
certicoq.org has Semrush global rank of 23,294,191. certicoq.org has an estimated worth of US$ 454,376, based on its estimated Ads revenue. certicoq.org receives approximately 52,428 unique visitors each day. Its web server is located in -, with IP address 185.199.111.153. According to SiteAdvisor, certicoq.org is safe to visit. |
Purchase/Sale Value | US$454,376 |
Daily Ads Revenue | US$420 |
Monthly Ads Revenue | US$12,583 |
Yearly Ads Revenue | US$150,993 |
Daily Unique Visitors | 3,496 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
certicoq.org. | A | 599 | IP: 185.199.111.153 |
certicoq.org. | A | 599 | IP: 185.199.110.153 |
certicoq.org. | A | 599 | IP: 185.199.109.153 |
certicoq.org. | A | 599 | IP: 185.199.108.153 |
certicoq.org. | NS | 3600 | NS Record: ns47.domaincontrol.com. |
certicoq.org. | NS | 3600 | NS Record: ns48.domaincontrol.com. |
certicoq.org. | MX | 3600 | MX Record: 10 mailstore1.secureserver.net. |
certicoq.org. | MX | 3600 | MX Record: 0 smtp.secureserver.net. |
CertiCoq A verified compiler for Coq Overview CertiCoq is a compiler for Gallina, the specification language of the Coq proof assistant . CertiCoq targets Clight, a subset of the C language that can be compiled with any C compiler, including the CompCert verified compiler. The goal of the CertiCoq project is to build an end-to-end verified compiler for Gallina, bridging the gap between formally verified source programs and their compiled executables. Large parts of the CertiCoq compiler have been verified whereas others are in the process of being verified. You can find CertiCoq’s souce code on GitHub . CertiCoq is part of the DeepSpec project. Current Members Andrew Appel , Yannick Forster , Anvay Grover , Joomy Korkut , John Li , Zoe Paraskevopoulou , Kathrin Stark , and Matthieu Sozeau . Past Members and Contributors Abhishek Anand, Greg Morrisett, Randy Pollack, Olivier Savary Belanger, Matthew Weaver Documentation The CertiCoq Wiki has instructions for using the CertiCoq plugin |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://certicoq.org/ X-GitHub-Request-Id: EC76:9FD1:17C79B:19EABB:6219F3EA Content-Length: 162 Accept-Ranges: bytes Date: Sat, 26 Feb 2022 09:33:30 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-bma1672-BMA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1645868010.420195,VS0,VE108 Vary: Accept-Encoding X-Fastly-Request-ID: a7a83371172a1e1f6ea54b5cfcb0e3bf63eed9d3 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Wed, 01 Sep 2021 19:33:42 GMT access-control-allow-origin: * etag: "612fd596-1bfe" expires: Sat, 26 Feb 2022 09:43:30 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 59A6:8877:60CEFB:6645B1:6219F3EA accept-ranges: bytes date: Sat, 26 Feb 2022 09:33:30 GMT via: 1.1 varnish age: 0 x-served-by: cache-bma1683-BMA x-cache: MISS x-cache-hits: 0 x-timer: S1645868011.564080,VS0,VE109 vary: Accept-Encoding x-fastly-request-id: b55711730a0b15345a18eded8137eee255a34638 content-length: 7166 |
Domain Name: CERTICOQ.ORG Registry Domain ID: D172997689-LROR Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.whois.godaddy.com Updated Date: 2017-05-22T13:48:56Z 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 Registrant Organization: Princeton University Registrant State/Province: New Jersey Registrant Country: US 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-02-26T09:56:01Z <<< |