Homotopytypetheory.org Site Title

Homotopy Type Theory

Homotopytypetheory.org Meta Description

This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory.  Propositional equality is interpreted as…

Homotopytypetheory.org Test Results

Homotopytypetheory.org Mobile Performance: 90/100
Quick overview:
Opportunities
These suggestions can help your page load faster. They don't directly affect the Performance score.
Eliminate render-blocking resources. Potential savings of 890 ms
Resources are blocking the first paint of your page. Consider delivering critical JS/CSS inline and deferring all non-critical JS/styles. Learn more.
Remove unused JavaScript. Potential savings of 26 KiB
Remove unused JavaScript to reduce bytes consumed by network activity. Learn more.
Serve images in next-gen formats. Potential savings of 83 KiB
Image formats like JPEG 2000, JPEG XR, and WebP often provide better compression than PNG or JPEG, which means faster downloads and less data consumption. Learn more.
Remove unused CSS. Potential savings of 40 KiB
Remove dead rules from stylesheets and defer the loading of CSS not used for above-the-fold content to reduce unnecessary bytes consumed by network activity. Learn more.
Minify JavaScript. Potential savings of 12 KiB
Minifying JavaScript files can reduce payload sizes and script parse time. Learn more.
Diagnostics
More information about the performance of your application. These numbers don't directly affect the Performance score.
Ensure text remains visible during webfont load
Leverage the font-display CSS feature to ensure text is user-visible while webfonts are loading. Learn more.
Serve static assets with an efficient cache policy
2 resources found
A long cache lifetime can speed up repeat visits to your page. Learn more.
Avoid long main-thread tasks
5 long tasks found
Lists the longest tasks on the main thread, useful for identifying worst contributors to input delay. Learn more
Largest Contentful Paint element
1 element found
This is the largest contentful element painted within the viewport. Learn More
Keep request counts low and transfer sizes small
19 requests • 325 KiB
To set budgets for the quantity and size of page resources, add a budget.json file. Learn more.
Avoid chaining critical requests
6 chains found
The Critical Request Chains below show you what resources are loaded with a high priority. Consider reducing the length of chains, reducing the download size of resources, or deferring the download of unnecessary resources to improve page load. Learn more.

Homotopytypetheory.org Mobile SEO: 93/100
Quick overview:
Crawling and Indexing
To appear in search results, crawlers need access to your app.
Links are not crawlable
Search engines may use `href` attributes on links to crawl websites. Ensure that the `href` attribute of anchor elements links to an appropriate destination, so more pages of the site can be discovered. Learn More

Homotopytypetheory.org Mobile Best Practices: 85/100
Quick overview:
Trust and Safety
Does not use HTTPS
1 insecure request found
All sites should be protected with HTTPS, even ones that don't handle sensitive data. This includes avoiding mixed content, where some resources are loaded over HTTP despite the initial request being servedover HTTPS. HTTPS prevents intruders from tampering with or passively listening in on the communications between your app and your users, and is a prerequisite for HTTP/2 and many new web platform APIs. Learn more.
Includes front-end JavaScript libraries with known security vulnerabilities
4 vulnerabilities detected
Some third-party scripts may contain known security vulnerabilities that are easily identified and exploited by attackers. Learn more.
Homotopytypetheory.org Mobile Progressive Web App: 50/100
Quick overview:
PWA Optimized
Manifest doesn't have a maskable icon
A maskable icon ensures that the image fills the entire shape without being letterboxed when installing the app on a device. Learn more. No manifest was fetched
Is not configured for a custom splash screen
A themed splash screen ensures a high-quality experience when users launch your app from their homescreens. Learn more. Failures: No manifest was fetched.
Does not set a theme color for the address bar.
The browser address bar can be themed to match your site. Learn more. Failures: No manifest was fetched, No `<meta name="theme-color">` tag found.
Fast and reliable
Current page does not respond with a 200 when offline
If you're building a Progressive Web App, consider using a service worker so that your app can work offline. Learn more.
`start_url` does not respond with a 200 when offline
A service worker enables your web app to be reliable in unpredictable network conditions. Learn more. No usable web app manifest found on page.
Installable
Web app manifest does not meet the installability requirements
Browsers can proactively prompt users to add your app to their homescreen, which can lead to higher engagement. Learn more. Failures: No manifest was fetched.
Does not use HTTPS
1 insecure request found
All sites should be protected with HTTPS, even ones that don't handle sensitive data. This includes avoiding mixed content, where some resources are loaded over HTTP despite the initial request being servedover HTTPS. HTTPS prevents intruders from tampering with or passively listening in on the communications between your app and your users, and is a prerequisite for HTTP/2 and many new web platform APIs. Learn more.
Does not register a service worker that controls page and `start_url`
The service worker is the technology that enables your app to use many Progressive Web App features, such as offline, add to homescreen, and push notifications. Learn more.
Homotopytypetheory.org Mobile Accessibility: 89/100
Quick overview:
Names and labels
These are opportunities to improve the semantics of the controls in your application. This may enhance the experience for users of assistive technology, like a screen reader.
Form elements do not have associated labels
Labels ensure that form controls are announced properly by assistive technologies, like screen readers. Learn more.
Contrast
These are opportunities to improve the legibility of your content.
Background and foreground colors do not have a sufficient contrast ratio.
Low-contrast text is difficult or impossible for many users to read. Learn more.
Similar tests
www.homotopytypetheory.com
www.homotopytypetheory.net
www.homotopytypetheory.org
www.homotopytypetheory.info
www.homotopytypetheory.biz
www.homotopytypetheory.us
www.homotopytypetheory.mobi
www.omotopytypetheory.org
www.homotopytypetheory.org
www.bomotopytypetheory.org
www.hbomotopytypetheory.org
www.bhomotopytypetheory.org
www.gomotopytypetheory.org
www.hgomotopytypetheory.org
www.ghomotopytypetheory.org
www.yomotopytypetheory.org
www.hyomotopytypetheory.org
www.yhomotopytypetheory.org
www.uomotopytypetheory.org
www.huomotopytypetheory.org
www.uhomotopytypetheory.org
www.jomotopytypetheory.org
www.hjomotopytypetheory.org
www.jhomotopytypetheory.org
www.nomotopytypetheory.org
www.hnomotopytypetheory.org
www.nhomotopytypetheory.org
www.hmotopytypetheory.org
www.himotopytypetheory.org
www.hoimotopytypetheory.org
www.hiomotopytypetheory.org
www.hkmotopytypetheory.org
www.hokmotopytypetheory.org
www.hkomotopytypetheory.org
www.hlmotopytypetheory.org
www.holmotopytypetheory.org
www.hlomotopytypetheory.org
www.hpmotopytypetheory.org
www.hopmotopytypetheory.org
www.hpomotopytypetheory.org
www.hootopytypetheory.org
www.honotopytypetheory.org
www.homnotopytypetheory.org
www.honmotopytypetheory.org
www.hojotopytypetheory.org
www.homjotopytypetheory.org
www.hojmotopytypetheory.org
www.hokotopytypetheory.org
www.homkotopytypetheory.org
www.homtopytypetheory.org
www.homitopytypetheory.org
www.homoitopytypetheory.org
www.homiotopytypetheory.org
www.homktopytypetheory.org
www.homoktopytypetheory.org
www.homltopytypetheory.org
www.homoltopytypetheory.org
www.homlotopytypetheory.org
www.homptopytypetheory.org
www.homoptopytypetheory.org
www.hompotopytypetheory.org
www.homoopytypetheory.org
www.homoropytypetheory.org
www.homotropytypetheory.org
www.homortopytypetheory.org
www.homofopytypetheory.org
www.homotfopytypetheory.org
www.homoftopytypetheory.org
www.homogopytypetheory.org
www.homotgopytypetheory.org
www.homogtopytypetheory.org
www.homoyopytypetheory.org
www.homotyopytypetheory.org
www.homoytopytypetheory.org
www.homotpytypetheory.org
www.homotipytypetheory.org
www.homotoipytypetheory.org
www.homotiopytypetheory.org
www.homotkpytypetheory.org
www.homotokpytypetheory.org
www.homotkopytypetheory.org
www.homotlpytypetheory.org
www.homotolpytypetheory.org
www.homotlopytypetheory.org
www.homotppytypetheory.org
www.homotoppytypetheory.org
www.homotpopytypetheory.org
www.homotoytypetheory.org
www.homotooytypetheory.org
www.homotopoytypetheory.org
www.homotoopytypetheory.org
www.homotolytypetheory.org
www.homotoplytypetheory.org
www.homotoptypetheory.org
www.homotopttypetheory.org
www.homotopyttypetheory.org
www.homotoptytypetheory.org
www.homotopgtypetheory.org
www.homotopygtypetheory.org
www.homotopgytypetheory.org
www.homotophtypetheory.org
www.homotopyhtypetheory.org
www.homotophytypetheory.org
www.homotoputypetheory.org
www.homotopyutypetheory.org
www.homotopuytypetheory.org
www.homotopyypetheory.org
www.homotopyrypetheory.org
www.homotopytrypetheory.org
www.homotopyrtypetheory.org
www.homotopyfypetheory.org
www.homotopytfypetheory.org
www.homotopyftypetheory.org
www.homotopygypetheory.org
www.homotopytgypetheory.org
www.homotopyyypetheory.org
www.homotopytyypetheory.org
www.homotopyytypetheory.org
www.homotopytpetheory.org
www.homotopyttpetheory.org
www.homotopytytpetheory.org
www.homotopytgpetheory.org
www.homotopytygpetheory.org
www.homotopythpetheory.org
www.homotopytyhpetheory.org
www.homotopythypetheory.org
www.homotopytupetheory.org
www.homotopytyupetheory.org
www.homotopytuypetheory.org
www.homotopytyetheory.org
www.homotopytyoetheory.org
www.homotopytypoetheory.org
www.homotopytyopetheory.org
www.homotopytyletheory.org
www.homotopytypletheory.org
www.homotopytylpetheory.org
www.homotopytyptheory.org
www.homotopytypwtheory.org
www.homotopytypewtheory.org
www.homotopytypwetheory.org
www.homotopytypstheory.org
www.homotopytypestheory.org
www.homotopytypsetheory.org
www.homotopytypdtheory.org
www.homotopytypedtheory.org
www.homotopytypdetheory.org
www.homotopytyprtheory.org
www.homotopytypertheory.org
www.homotopytypretheory.org
www.homotopytypeheory.org
www.homotopytyperheory.org
www.homotopytypetrheory.org
www.homotopytypefheory.org
www.homotopytypetfheory.org
www.homotopytypeftheory.org
www.homotopytypegheory.org
www.homotopytypetgheory.org
www.homotopytypegtheory.org
www.homotopytypeyheory.org
www.homotopytypetyheory.org
www.homotopytypeytheory.org
www.homotopytypeteory.org
www.homotopytypetbeory.org
www.homotopytypethbeory.org
www.homotopytypetbheory.org
www.homotopytypetgeory.org
www.homotopytypethgeory.org
www.homotopytypetyeory.org
www.homotopytypethyeory.org
www.homotopytypetueory.org
www.homotopytypethueory.org
www.homotopytypetuheory.org
www.homotopytypetjeory.org
www.homotopytypethjeory.org
www.homotopytypetjheory.org
www.homotopytypetneory.org
www.homotopytypethneory.org
www.homotopytypetnheory.org
www.homotopytypethory.org
www.homotopytypethwory.org
www.homotopytypethewory.org
www.homotopytypethweory.org
www.homotopytypethsory.org
www.homotopytypethesory.org
www.homotopytypethseory.org
www.homotopytypethdory.org
www.homotopytypethedory.org
www.homotopytypethdeory.org
www.homotopytypethrory.org
www.homotopytypetherory.org
www.homotopytypethreory.org
www.homotopytypethery.org
www.homotopytypetheiry.org
www.homotopytypetheoiry.org
www.homotopytypetheiory.org
www.homotopytypethekry.org
www.homotopytypetheokry.org
www.homotopytypethekory.org
www.homotopytypethelry.org
www.homotopytypetheolry.org
www.homotopytypethelory.org
www.homotopytypethepry.org
www.homotopytypetheopry.org
www.homotopytypethepory.org
www.homotopytypetheoy.org
www.homotopytypetheoey.org
www.homotopytypetheorey.org
www.homotopytypetheoery.org
www.homotopytypetheody.org
www.homotopytypetheordy.org
www.homotopytypetheodry.org
www.homotopytypetheofy.org
www.homotopytypetheorfy.org
www.homotopytypetheofry.org
www.homotopytypetheoty.org
www.homotopytypetheorty.org
www.homotopytypetheotry.org
www.homotopytypetheor.org
www.homotopytypetheort.org
www.homotopytypetheoryt.org
www.homotopytypetheorg.org
www.homotopytypetheoryg.org
www.homotopytypetheorgy.org
www.homotopytypetheorh.org
www.homotopytypetheoryh.org
www.homotopytypetheorhy.org
www.homotopytypetheoru.org
www.homotopytypetheoryu.org
www.homotopytypetheoruy.org
Last Tested: