unimath.github.io
Open in
urlscan Pro
2606:50c0:8000::153
Public Scan
Effective URL: https://unimath.github.io/UniMath/
Submission: On November 16 via api from US — Scanned from DE
Summary
TLS certificate: Issued by DigiCert Global G2 TLS RSA SHA256 202... on March 15th 2024. Valid for: a year.
This is the only time unimath.github.io was scanned on urlscan.io!
urlscan.io Verdict: No classification
Domain & IP information
IP Address | AS Autonomous System | ||
---|---|---|---|
1 1 | 159.25.16.225 159.25.16.225 | 5517 (CSL CSL C...) (CSL CSL Computer Service Langenbach GmbH) | |
6 | 2606:50c0:800... 2606:50c0:8000::153 | 54113 (FASTLY) (FASTLY) | |
1 2 | 2001:1458:d00... 2001:1458:d00:9::100:195 | 513 (CERN CERN) (CERN CERN - European Organization for Nuclear Research) | |
7 | 2 |
ASN513 (CERN CERN - European Organization for Nuclear Research, CH)
zenodo.org |
Apex Domain Subdomains |
Transfer | |
---|---|---|
6 |
github.io
unimath.github.io |
30 KB |
2 |
zenodo.org
1 redirects
zenodo.org — Cisco Umbrella Rank: 270711 |
4 KB |
1 |
unimath.org
1 redirects
unimath.org |
245 B |
7 | 3 |
Domain | Requested by | |
---|---|---|
6 | unimath.github.io |
unimath.github.io
|
2 | zenodo.org |
1 redirects
unimath.github.io
|
1 | unimath.org | 1 redirects |
7 | 3 |
This site contains links to these domains. Also see Links.
Domain |
---|
github.com |
zenodo.org |
coq.inria.fr |
en.wikipedia.org |
unimath.zulipchat.com |
Subject Issuer | Validity | Valid | |
---|---|---|---|
*.github.io DigiCert Global G2 TLS RSA SHA256 2020 CA1 |
2024-03-15 - 2025-03-14 |
a year | crt.sh |
This page contains 1 frames:
Primary Page:
https://unimath.github.io/UniMath/
Frame ID: 6724994D74B079C547FC74F5864D75FD
Requests: 7 HTTP requests in this frame
Screenshot
Page Title
UniMath | This coq library aims to formalize a substantial body of mathematics using the univalent point of view.Page URL History Show full URLs
-
http://unimath.org/
HTTP 307
https://unimath.org/ HTTP 307
http://unimath.org/ HTTP 301
https://unimath.github.io/UniMath/ Page URL
Detected technologies
Jekyll (Static Site Generator) ExpandDetected patterns
- <!-- Begin Jekyll SEO tag
GitHub Pages (CDN) Expand
Detected patterns
- ^https?://[^/]+\.github\.io
Page Statistics
9 Outgoing links
These are links going to different origins than the main page.
Title: View the Project on GitHub UniMath/UniMath
Search URL Search Domain Scan URL
Search URL Search Domain Scan URL
Title: Rocq
Search URL Search Domain Scan URL
Title: univalent point of view
Search URL Search Domain Scan URL
Title: UniMath Zulip
Search URL Search Domain Scan URL
Title: here
Search URL Search Domain Scan URL
Title: issue on GitHub
Search URL Search Domain Scan URL
Title: UniMath
Search URL Search Domain Scan URL
Title: orderedlist
Search URL Search Domain Scan URL
Page URL History
This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.
-
http://unimath.org/
HTTP 307
https://unimath.org/ HTTP 307
http://unimath.org/ HTTP 301
https://unimath.github.io/UniMath/ Page URL
Redirected requests
There were HTTP redirect chains for the following requests:
Request Chain 1- https://zenodo.org/badge/17321421.svg HTTP 302
- https://zenodo.org/badge/DOI/10.5281/zenodo.13828995.svg
7 HTTP transactions
Method Protocol |
Resource Path |
Size x-fer |
Type MIME-Type |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
GET H2 |
Primary Request
/
unimath.github.io/UniMath/ Redirect Chain
|
5 KB 2 KB |
Document
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
style.css
unimath.github.io/UniMath/assets/css/ |
7 KB 2 KB |
Stylesheet
text/css |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H/1.1 |
zenodo.13828995.svg
zenodo.org/badge/DOI/10.5281/ Redirect Chain
|
1 KB 2 KB |
Image
image/svg+xml |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
Redirect headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
scale.fix.js
unimath.github.io/UniMath/assets/js/ |
907 B 536 B |
Script
application/javascript |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
Noto-Sans-700.woff2
unimath.github.io/UniMath/assets/fonts/Noto-Sans-700/ |
9 KB 10 KB |
Font
font/woff2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
Noto-Sans-regular.woff2
unimath.github.io/UniMath/assets/fonts/Noto-Sans-regular/ |
10 KB 10 KB |
Font
font/woff2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
GET H2 |
favicon.ico
unimath.github.io/ |
9 KB 5 KB |
Other
text/html |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
General
Request headers
Response headers
|
Verdicts & Comments Add Verdict or Comment
0 JavaScript Global Variables
These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.
1 Cookies
Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.
Domain/Path | Expires | Name / Value |
---|---|---|
zenodo.org/ | Name: 5569e5a730cade8ff2b54f1e815f3670 Value: c87848b86925dd8717b6534d0ec4338b |
1 Console Messages
A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.
Source | Level | URL Text |
---|
Indicators
This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.
unimath.github.io
unimath.org
zenodo.org
159.25.16.225
2001:1458:d00:9::100:195
2606:50c0:8000::153
3952734b557bbadcbc2c5d7db25ab9cb8454226f9d68062678340ce250e8504f
7b08b7658917ba3eaabf7893a2fc178274b0b7bff1168550185a4da704ce9d9b
aaf4772d275fb6ee2ace40d636d595d0c788c3eefd3f79003fac09999268027c
b620507312c5e97566a3c6cfaf99144fefc18a0da7d941401dfa0f5f58fb0368
ea5945674af9bb92ef367ab00ad7a59b70c3ab14384c3b68fe33024987ece091
f11a05f1c758bc8989e6b071d90f09bf791793e66c0b44ddce37dfe39f7709c0
fc5c511d7b0d7a91c150345068cfee9cf50287b81a5003c7cade9c9d7d124e9b