Available Reports
Last Update
April, 2024
Security Profile
- Live site
- Secure connection (HTTPS)
- Certificate valid
- No outdated techologies detected
Social Media
Twitter: https://twitter.com/CoqLang
coq.inria.fr
website information and technology stack| Web technologies detected on this domain | 8 technologies |
| Web technologies detected across all inria.fr subdomains | 385 technologies |
| Website rank | 87,975 |
| Website Location |  France |
| Language | English |
| Last technology update | January, 2024 |
| Total inria.fr subdomain count | 519 subdomains |
| Top ranking subdomain | |
| IP Address | 185.199.108.153 |
| IP Lookup | 77,128 websites share 185.199.108.153 IP address. |
| Autonomous System Number (ASN) | AS54113 (FASTLY) |
| Total linking domains | 116 domains |
| Total linking IP | 74 IPs |
| Certificate Issuer | Let's Encrypt |
| Certificate Expiration Date | May, 2024 (Valid ) |
Technology Stack
List of detected technologies used on the website.| Technology | Technology Type | Version | First detected | |
|---|---|---|---|---|
 Fastly | Content Delivery Networks | December, 2023 | ||
 Fastly Hosted | Web Hosting | December, 2023 | ||
 GitHub Pages | Static Site Generator | December, 2023 | ||
| | Miscellaneous | December, 2023 | ||
 JavaScript | Document Standards | December, 2023 | ||
 Lets Encrypt | Certificate Authority | December, 2023 | ||
| UTF-8 | Document Encoding | December, 2023 | ||
 Varnish | Cache Tools | December, 2023 |
Uncommon response headers
List of uncommon response headers that were used by the website.| Header | Value |
|---|---|
| Server | GitHub.com |
| via | 1.1 varnish |
| X-Cache | MISS |
| X-Cache-Hits | 0 |
| X-Fastly-Request-ID | 0408ab2486dd8a90fb0972a490b44e6dd600ba2b |
| X-GitHub-Request-Id | 3734:21778E:2FD822F:3F268D0:660BD9FB |
| x-proxy-cache | MISS |
| X-Served-By | cache-bur-kbur8200158-BUR |
| X-Timer | S1712052731.411387,VS0,VE61 |