What powers dafny.org?
Last seen Jun 2026 · 4 technologies across 4 categories
Caching
Varnish
since Sep 2022
CDN
Fastly
since Sep 2022
Miscellaneous
Open Graph
since Apr 2023
PaaS
GitHub Pages
since Sep 2022
Audience
- 84% desktop
- 16% phone
United States
Countries where the site has Chrome traffic, strongest markets first.
Open Page Rank
4.16 / 10 · ranked #472,631 of all domains
61 referring domains · OpenPageRank
Core Web Vitals
| LCP | 0.7 s |
| INP | 25 ms |
| CLS | 0 |
| TTFB | 400 ms |
Real user p75, Chrome UX Report, Jun 2026.
Page
- Language: English
- CDN: Fastly
- Weight: 0.3 MB · 6 requests
- Structured data: OpenGraph
Homepage as crawled by the HTTP Archive, Jul 2026.